cprover
|
Files | |
file | build_goto_trace.cpp [code] |
Build Goto Trace from State History. | |
file | build_goto_trace.h [code] |
Build Goto Trace from Path Symex History. | |
file | loc_ref.h [code] |
Program Locations. | |
file | locs.cpp [code] |
Program Locations. | |
file | locs.h [code] |
CFG made of Program Locations, built from goto_functionst. | |
file | path_replay.cpp [code] |
Dense Data Structure for Path Replay. | |
file | path_replay.h [code] |
Dense Data Structure for Path Replay. | |
file | path_symex.cpp [code] |
Concrete Symbolic Transformer. | |
file | path_symex.h [code] |
Concrete Symbolic Transformer. | |
file | path_symex_class.h [code] |
Concrete Symbolic Transformer. | |
file | path_symex_history.cpp [code] |
History of path-based symbolic simulator. | |
file | path_symex_history.h [code] |
History for path-based symbolic simulator. | |
file | path_symex_state.cpp [code] |
State of path-based symbolic simulator. | |
file | path_symex_state.h [code] |
State of path-based symbolic simulator. | |
file | path_symex_state_read.cpp [code] |
State of path-based symbolic simulator. | |
file | var_map.cpp [code] |
Variable Numbering. | |
file | var_map.h [code] |
Variable Numbering. | |