cprover
|
State of path-based symbolic simulator. More...
Go to the source code of this file.
Classes | |
struct | path_symex_statet |
struct | path_symex_statet::var_statet |
struct | path_symex_statet::framet |
struct | path_symex_statet::threadt |
Functions | |
path_symex_statet | initial_state (var_mapt &var_map, const locst &locs, path_symex_historyt &) |
State of path-based symbolic simulator.
Definition in file path_symex_state.h.
path_symex_statet initial_state | ( | var_mapt & | var_map, |
const locst & | locs, | ||
path_symex_historyt & | |||
) |
Definition at line 29 of file path_symex_state.cpp.
References path_symex_statet::add_thread(), locst::entry_loc, path_symex_statet::threadt::pc, and path_symex_statet::set_current_thread().
Referenced by path_searcht::operator()().