cprover
|
Goto Program Template. More...
Go to the source code of this file.
Functions | |
std::ostream & | operator<< (std::ostream &out, goto_program_instruction_typet t) |
Goto Program Template.
Definition in file goto_program_template.cpp.
std::ostream& operator<< | ( | std::ostream & | out, |
goto_program_instruction_typet | t | ||
) |
Definition at line 16 of file goto_program_template.cpp.
References ASSERT, ASSIGN, ASSUME, ATOMIC_BEGIN, ATOMIC_END, DEAD, DECL, END_FUNCTION, END_THREAD, FUNCTION_CALL, GOTO, LOCATION, NO_INSTRUCTION_TYPE, OTHER, RETURN, SKIP, and START_THREAD.