cprover
path_symex_state_read.cpp File Reference

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

Include dependency graph for path_symex_state_read.cpp:

Go to the source code of this file.

Detailed Description

State of path-based symbolic simulator.

Definition in file path_symex_state_read.cpp.