cprover
|
Information saved at a conditional goto to resume execution. More...
#include <path_storage.h>
Public Member Functions | |
patht (const symex_target_equationt &e, const goto_symex_statet &s) | |
patht (const patht &other) | |
Public Attributes | |
symex_target_equationt | equation |
goto_symex_statet | state |
Information saved at a conditional goto to resume execution.
Definition at line 28 of file path_storage.h.
|
inlineexplicit |
Definition at line 33 of file path_storage.h.
|
inlineexplicit |
Definition at line 38 of file path_storage.h.
symex_target_equationt path_storaget::patht::equation |
Definition at line 30 of file path_storage.h.
Referenced by bmct::do_language_agnostic_bmc().
goto_symex_statet path_storaget::patht::state |
Definition at line 31 of file path_storage.h.
Referenced by bmct::do_language_agnostic_bmc(), and goto_symext::symex_goto().