cprover
interpreter.cpp File Reference

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"
Include dependency graph for interpreter.cpp:

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)
 

Detailed Description

Interpreter for GOTO Programs.

Definition in file interpreter.cpp.

Macro Definition Documentation

◆ BUFSIZE

#define BUFSIZE   100

Referenced by interpretert::command().

Function Documentation

◆ interpreter()

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().