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

Module: Program Transformation

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

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

#ifndef CPROVER_GOTO_PROGRAMS_GOTO_CHECK_H
#define CPROVER_GOTO_PROGRAMS_GOTO_CHECK_H

#include <namespace.h>
#include <options.h>

#include "goto_program.h"
#include "goto_functions.h"

void goto_check(
  const namespacet &ns,
  const optionst &options,
  goto_programt &goto_program);

void goto_check(
  const namespacet &ns,
  const optionst &options,
  goto_functionst &goto_functions);

#endif
