cprover
|
Symbolic Execution. More...
#include <util/options.h>
#include <util/byte_operators.h>
#include <goto-programs/goto_functions.h>
#include "goto_symex_state.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.