runtest.cc File Reference

#include "runtest.h"
#include "tester.h"
#include "base/exception/exception.h"
#include "base/shell/dirs.h"
#include <iostream>
#include <fstream>

Include dependency graph for runtest.cc:

Functions
void	helpMessage (ostream &out)
void	initSettings (int argc, char **argv)
int	main (int argc, char **argv)

---

Function Documentation

void helpMessage

(

ostream &

out

)

helpMessage () Function prints help message for the tool.

References DOTTED_VERSION, and TOOL.

void initSettings	(	int	argc,
		char **	argv
	)

initSettings () The function initializes the program settings.

int main	(	int	argc,
		char **	argv
	)

main ()

References initSettings(), MaxPlusAnalysis::out, and Tester::runTest().

Here is the call graph for this function: