ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
goto_program_irep.h
Go to the documentation of this file.
1#ifndef GOTO_PROGRAM_IREP_H_
2#define GOTO_PROGRAM_IREP_H_
3
4#include <goto-programs/goto_program.h>
5
6void convert(const goto_programt::instructiont &instruction, irept &irep);
7void convert(const irept &irep, goto_programt::instructiont &instruction);
8
9void convert(const goto_programt &program, irept &irep);
10void convert(const irept &irep, goto_programt &program);
11
12#endif /*GOTO_PROGRAM_IREP_H_*/
goto_programt::instructiont
Container for an instruction of the goto-program.
Definition goto_program.h:95
goto_programt
A generic container class for a control flow graph for one function, in the form of a goto-program.
Definition goto_program.h:63
irept
Definition irep.h:36
goto_program.h
convert
void convert(const goto_programt::instructiont &instruction, irept &irep)
Definition goto_program_irep.cpp:5