write_goto_binary.cpp File Reference

#include <fstream>
#include <goto-programs/goto_function_serialization.h>
#include <goto-programs/write_goto_binary.h>
#include <util/irep/irep_serialization.h>
#include <util/message/message.h>
#include <util/symtab/symbol_serialization.h>

Include dependency graph for write_goto_binary.cpp:

Functions
bool	write_goto_binary (std::ostream &out, const contextt &lcontext, goto_functionst &functions)

Function Documentation

write_goto_binary()

bool write_goto_binary	(	std::ostream &	out,
		const contextt &	lcontext,
		goto_functionst &	functions )