read_goto_binary.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Read Goto Programs
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/

 
#ifndef CPROVER_GOTO_PROGRAMS_READ_GOTO_BINARY_H
#define CPROVER_GOTO_PROGRAMS_READ_GOTO_BINARY_H
 
#include <list>
#include <optional>
#include <string>
 
class goto_modelt;
class message_handlert;
 
std::optional<goto_modelt>
read_goto_binary(const std::string &filename, message_handlert &);
 
bool is_goto_binary(const std::string &filename, message_handlert &);

bool read_objects_and_link(
  const std::list<std::string> &file_names,
  goto_modelt &dest,
  message_handlert &message_handler);
 
#endif // CPROVER_GOTO_PROGRAMS_READ_GOTO_BINARY_H