cprover
|
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>
Go to the source code of this file.
Path-based Symbolic Execution.
Definition in file path_search.cpp.