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 symbol_tablet &symbol_table, const goto_functionst &goto_functions, int version=3) |
Writes a goto program to disc. More... | |
bool | write_goto_binary (const std::string &filename, const symbol_tablet &lsymbol_table, const goto_functionst &goto_functions, message_handlert &message_handler) |
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 symbol_tablet & | symbol_table, | ||
const goto_functionst & | goto_functions, | ||
int | version = 3 |
||
) |
Writes a goto program to disc.
Definition at line 123 of file write_goto_binary.cpp.
References write_gb_word(), and write_goto_binary_v3().
Referenced by goto_fence_inserter_parse_optionst::doit(), goto_instrument_parse_optionst::doit(), compilet::write_bin_object_file(), and write_goto_binary().
bool write_goto_binary | ( | const std::string & | filename, |
const symbol_tablet & | lsymbol_table, | ||
const goto_functionst & | goto_functions, | ||
message_handlert & | message_handler | ||
) |
Writes a goto program to disc.
Definition at line 157 of file write_goto_binary.cpp.
References messaget::error(), and write_goto_binary().