symbolic execution and runtime error

When the program has a runtime error. How are symbolic execution or concolic testing tools showing the program has runtime error to user?