Interpreter for GOTO Programs. More...
#include "interpreter.h"#include <cctype>#include <cstdio>#include <iostream>#include <fstream>#include <algorithm>#include <cstring>#include <util/fixedbv.h>#include <util/ieee_float.h>#include <util/invariant.h>#include <util/message.h>#include <util/std_expr.h>#include <util/std_types.h>#include <util/string2int.h>#include <util/string_container.h>#include <util/symbol_table.h>#include <json/json_parser.h>#include "interpreter_class.h"#include "json_goto_trace.h"#include "remove_returns.h"
Include dependency graph for interpreter.cpp:Go to the source code of this file.
Macros | |
| #define | BUFSIZE 100 |
Functions | |
| void | interpreter (const goto_modelt &goto_model, message_handlert &message_handler) |
Detailed Description
Interpreter for GOTO Programs.
Definition in file interpreter.cpp.
Macro Definition Documentation
◆ BUFSIZE
| #define BUFSIZE 100 |
Function Documentation
◆ interpreter()
| void interpreter | ( | const goto_modelt & | goto_model, |
| message_handlert & | message_handler | ||
| ) |
Definition at line 1079 of file interpreter.cpp.
