cprover
|
Symbolic Execution. More...
#include <analyses/local_safe_pointers.h>
#include <util/options.h>
#include <util/message.h>
#include <goto-programs/goto_functions.h>
#include "goto_symex_state.h"
#include "path_storage.h"
#include "symex_target_equation.h"
Go to the source code of this file.
Classes | |
class | goto_symext |
The main class for the forward symbolic simulator. More... | |
Symbolic Execution.
Definition in file goto_symex.h.