12 #ifndef CPROVER_PATH_SYMEX_PATH_REPLAY_H 13 #define CPROVER_PATH_SYMEX_PATH_REPLAY_H 41 #endif // CPROVER_PATH_SYMEX_PATH_REPLAY_H
void replay(path_symex_statet &)
path_replayt(const path_symex_statet &src)
void get_branches(const path_symex_step_reft history)
State of path-based symbolic simulator.
void path_replay(path_symex_step_reft history)
std::vector< bool > branchest
path_symex_step_reft history