cprover
|
Write GOTO binaries. More...
Go to the source code of this file.
Macros | |
#define | GOTO_BINARY_VERSION 3 |
Functions | |
bool | write_goto_binary (std::ostream &out, const goto_modelt &, int version=3) |
Writes a goto program to disc. More... | |
bool | write_goto_binary (std::ostream &out, const symbol_tablet &, const goto_functionst &, int version=3) |
Writes a goto program to disc. More... | |
bool | write_goto_binary (const std::string &filename, const goto_modelt &, message_handlert &) |
Writes a goto program to disc. More... | |
Write GOTO binaries.
Definition in file write_goto_binary.h.
#define GOTO_BINARY_VERSION 3 |
Definition at line 15 of file write_goto_binary.h.
bool write_goto_binary | ( | std::ostream & | out, |
const goto_modelt & | , | ||
int | version = 3 |
||
) |
Writes a goto program to disc.
Definition at line 125 of file write_goto_binary.cpp.
References goto_modelt::goto_functions, goto_modelt::symbol_table, and write_goto_binary().
Referenced by goto_instrument_parse_optionst::doit(), static_simplifier(), compilet::write_bin_object_file(), and write_goto_binary().
bool write_goto_binary | ( | std::ostream & | out, |
const symbol_tablet & | , | ||
const goto_functionst & | , | ||
int | version = 3 |
||
) |
Writes a goto program to disc.
Definition at line 138 of file write_goto_binary.cpp.
References write_gb_word(), and write_goto_binary_v3().
bool write_goto_binary | ( | const std::string & | filename, |
const goto_modelt & | , | ||
message_handlert & | |||
) |
Writes a goto program to disc.
Definition at line 171 of file write_goto_binary.cpp.
References messaget::error(), message_handler, and write_goto_binary().