Commandline options. More...

#include <test/test.hh>

Public Member Functions
	Options (void)
	Initialize options with defaults.
void	parse (int argc, char *argv[])
	Parse commandline arguments.
bool	is_test_name_matching (const std::string &test_name)
	True iff a test name should be executed according to the patterns. With no patterns, always true.

Public Attributes
unsigned int	threads
	Number of threads to use.
unsigned int	seed
	The random seed to be used.
unsigned int	iter
	Number of iterations for each test.
unsigned int	fixprob
	The probability for computing a fixpoint.
bool	stop
	Whether to stop on an error.
bool	log
	Whether to log the tests.
std::vector< std::pair< MatchType, const char * > >	testpat
	Patterns to test against.
const char *	start_from
	Name of first test to start with.
bool	list
	Whether to list all tests.

Static Public Attributes
static const int	defiter = 5
	Default number of iterations.
static const unsigned int	deffixprob = 10
	Default fixpoint probability.

Detailed Description

Commandline options.

Definition at line 83 of file test.hh.

Constructor & Destructor Documentation

◆ Options()

Test::Options::Options ( void )

inline

Initialize options with defaults.

Definition at line 41 of file test.hpp.

Member Function Documentation

◆ parse()

void Test::Options::parse	(	int	argc,
		char *	argv[] )

Parse commandline arguments.

◆ is_test_name_matching()

bool Test::Options::is_test_name_matching ( const std::string & test_name )

True iff a test name should be executed according to the patterns. With no patterns, always true.

Member Data Documentation

◆ threads

unsigned int Test::Options::threads

Number of threads to use.

Definition at line 86 of file test.hh.

◆ seed

unsigned int Test::Options::seed

The random seed to be used.

Definition at line 88 of file test.hh.

◆ iter

unsigned int Test::Options::iter

Number of iterations for each test.

Definition at line 90 of file test.hh.

◆ defiter

const int Test::Options::defiter = 5

static

Default number of iterations.

Definition at line 92 of file test.hh.

◆ fixprob

unsigned int Test::Options::fixprob

The probability for computing a fixpoint.

Definition at line 94 of file test.hh.

◆ deffixprob

const unsigned int Test::Options::deffixprob = 10

static

Default fixpoint probability.

Definition at line 96 of file test.hh.

◆ stop

bool Test::Options::stop

Whether to stop on an error.

Definition at line 98 of file test.hh.

◆ log

bool Test::Options::log

Whether to log the tests.

Definition at line 100 of file test.hh.

◆ testpat

std::vector<std::pair<MatchType, const char*> > Test::Options::testpat

Patterns to test against.

Definition at line 102 of file test.hh.

◆ start_from

const char* Test::Options::start_from

Name of first test to start with.

Definition at line 104 of file test.hh.

◆ list

bool Test::Options::list

Whether to list all tests.

Definition at line 106 of file test.hh.

The documentation for this class was generated from the following files:

test/test.hh
test/test.hpp

Public Member Functions

Public Attributes

Static Public Attributes