path_search.cpp File Reference

Path-based Symbolic Execution. More...

#include "path_search.h"
#include <util/simplify_expr.h>
#include <util/time_stopping.h>
#include <solvers/flattening/bv_pointers.h>
#include <solvers/sat/satcheck.h>
#include <path-symex/path_symex.h>
#include <path-symex/build_goto_trace.h>

Include dependency graph for path_search.cpp:

Go to the source code of this file.

Detailed Description

Path-based Symbolic Execution.

Definition in file path_search.cpp.