path_symex_state_read.cpp File Reference

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>

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.