cprover
|
Interpreter for GOTO Programs. More...
#include "interpreter.h"
#include <cctype>
#include <cstdio>
#include <iostream>
#include <algorithm>
#include <util/std_types.h>
#include <util/symbol_table.h>
#include "interpreter_class.h"
Go to the source code of this file.
Macros | |
#define | BUFSIZE 100 |
Functions | |
void | interpreter (const symbol_tablet &symbol_table, const goto_functionst &goto_functions) |
Interpreter for GOTO Programs.
Definition in file interpreter.cpp.
#define BUFSIZE 100 |
Referenced by interpretert::command().
void interpreter | ( | const symbol_tablet & | symbol_table, |
const goto_functionst & | goto_functions | ||
) |
Definition at line 463 of file interpreter.cpp.
References interpreter().
Referenced by goto_instrument_parse_optionst::doit(), and interpreter().