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


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: