goto_harness_main.cpp File Reference

#include "goto_harness_parse_options.h"

Include dependency graph for goto_harness_main.cpp:

Go to the source code of this file.

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

Function Documentation

main()

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

Definition at line 11 of file goto_harness_main.cpp.