13 #ifndef CPROVER_PATH_SYMEX_PATH_SYMEX_H 14 #define CPROVER_PATH_SYMEX_PATH_SYMEX_H 27 std::list<path_symex_statet> &further_states);
44 #endif // CPROVER_PATH_SYMEX_PATH_SYMEX_H void path_symex_assert_fail(path_symex_statet &state)
State of path-based symbolic simulator.
void path_symex(path_symex_statet &state, std::list< path_symex_statet > &further_states)
void path_symex_goto(path_symex_statet &state, bool taken)