/*******************************************************************\

Module: Program Transformation

Author: Daniel Kroening, kroening@cs.cmu.edu

\*******************************************************************/

#ifndef CPROVER_GOTO_PROGRAMS_GOTO_CONVERT_H
#define CPROVER_GOTO_PROGRAMS_GOTO_CONVERT_H

#include <options.h>
#include <message.h>
#include <std_code.h>

#include "goto_program.h"

// start from given code
void goto_convert(
  codet &code,
  contextt &context,
  const optionst &options,
  goto_programt &dest,
  message_handlert &message_handler);

// start from "main"
void goto_convert(
  contextt &context,
  const optionst &options,
  goto_programt &dest,
  message_handlert &message_handler);

#endif
