cprover
|
State of path-based symbolic simulator. More...
#include "path_symex_state.h"
#include <util/simplify_expr.h>
#include <util/arith_tools.h>
#include <pointer-analysis/dereference.h>
Go to the source code of this file.
State of path-based symbolic simulator.
Definition in file path_symex_state_read.cpp.