goto_analyzer_main.cpp File Reference

Goto-Analyser Main Module. More...

#include "goto_analyzer_parse_options.h"
#include <util/unicode.h>

Include dependency graph for goto_analyzer_main.cpp:

Go to the source code of this file.

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

Detailed Description

Goto-Analyser Main Module.

Definition in file goto_analyzer_main.cpp.

Function Documentation

main()

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

Definition at line 21 of file goto_analyzer_main.cpp.

References parse_options_baset::main().