goto_binary_reader.cpp File Reference

#include <goto-programs/goto_binary_reader.h>
#include <goto-programs/read_bin_goto_object.h>
#include <goto-programs/read_cbmc_goto_object.h>
#include <goto-programs/goto_functions.h>
#include <util/message/message.h>
#include <fstream>
#include <boost/iostreams/device/array.hpp>
#include <boost/iostreams/stream.hpp>

Include dependency graph for goto_binary_reader.cpp: