c2goto.cpp File Reference

#include <c2goto/cprover_library.h>
#include <cstdlib>
#include <fstream>
#include <goto-programs/goto_convert_functions.h>
#include <goto-programs/write_goto_binary.h>
#include <langapi/language_ui.h>
#include <langapi/mode.h>
#include <util/config/cmdline.h>
#include <util/config/config.h>
#include <irep2/irep2.h>
#include <util/config/parseoptions.h>
#include <stdlib.h>

Include dependency graph for c2goto.cpp:

Classes
class	c2goto_parseopt

Functions
int	main (int argc, const char **argv)

Variables
const struct group_opt_templ	c2goto_options []
const mode_table_et	mode_table []

Function Documentation

main()

int main	(	int	argc,
		const char **	argv )

Variable Documentation

c2goto_options

const struct group_opt_templ c2goto_options[]

mode_table

const mode_table_et mode_table[]

Initial value:

= {
  LANGAPI_MODE_CLANG_C,
  LANGAPI_MODE_CLANG_CPP,
  LANGAPI_MODE_END}