cprover
path_symex_state.cpp File Reference

State of path-based symbolic simulator. More...

Include dependency graph for path_symex_state.cpp:

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)
 

Detailed Description

State of path-based symbolic simulator.

Definition in file path_symex_state.cpp.

Function Documentation

§ initial_state()

path_symex_statet initial_state ( var_mapt var_map,
const locst locs,
path_symex_historyt path_symex_history 
)