cprover
|
State of path-based symbolic simulator. More...
#include "path_symex_state.h"
#include <util/simplify_expr.h>
#include <util/arith_tools.h>
#include <util/decision_procedure.h>
#include <util/c_types.h>
#include <pointer-analysis/dereference.h>
#include <goto-symex/adjust_float_expressions.h>
Go to the source code of this file.
Functions | |
path_symex_statet | initial_state (var_mapt &var_map, const locst &locs, path_symex_historyt &path_symex_history) |
State of path-based symbolic simulator.
Definition in file path_symex_state.cpp.
path_symex_statet initial_state | ( | var_mapt & | var_map, |
const locst & | locs, | ||
path_symex_historyt & | path_symex_history | ||
) |
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()().