General test support. More...

Namespaces
namespace	Array
	Tests for arrays.
namespace	Assign
	Tests for assignments.
namespace	Branch
	Tests for branchings.
namespace	Fault
namespace	FlatZinc
	Tests for FlatZinc.
namespace	Float
	Testing domain floats.
namespace	Groups
namespace	Int
	Testing finite domain integers.
namespace	LDSB
	Testing for LDSB.
namespace	NoGoods
	Tests for search using no-goods.
namespace	Search
	Tests for search engines.
namespace	Set
	Testing finite sets.

Classes
class	AFC
	Test for AFC infrastructure More...
class	Region
	Test for Region memory area More...
class	SortByName
	Sort tests by name. More...
class	TestExecutionControl
class	TestExecutor
class	ind
	Simple class for describing indentation. More...
class	Options
	Commandline options. More...
class	Base
	Base class for all tests to be run More...

Enumerations
enum	MatchType { MT_ANY , MT_NOT , MT_FIRST }
	How to match. More...

Functions
void	report_error (const std::string &name, unsigned int seed, Options &options, std::ostream &ostream)
bool	run_test (Base *test, unsigned int test_seed, const Options &options, std::ostream &ostream)
	Run a single test, returning true iff the test succeeded.
int	run_tests (const std::vector< Base * > &tests, const Options &options)
	Run all the tests with the supplied options.
int	run_tests_parallel (const std::vector< Base * > &tests, const Options &options)
	Run all the tests with the supplied options i parallel.
int	main (int argc, char *argv[])
	Main function.
std::ostream &	operator<< (std::ostream &os, const Test::ind &i)
	Print indentation.

Variables
AFC	afc
Region	r
std::ostringstream	olog
	Stream used for logging.
Options	opt
	The options.

Detailed Description

General test support.

Enumeration Type Documentation

◆ MatchType

enum Test::MatchType

How to match.

Enumerator
MT_ANY
MT_NOT
MT_FIRST

Definition at line 76 of file test.hh.

Function Documentation

◆ report_error()

void Test::report_error	(	const std::string &	name,
		unsigned int	seed,
		Options &	options,
		std::ostream &	ostream )

Definition at line 97 of file test.cpp.

◆ run_test()

bool Test::run_test	(	Base *	test,
		unsigned int	test_seed,
		const Options &	options,
		std::ostream &	ostream )

Run a single test, returning true iff the test succeeded.

Definition at line 251 of file test.cpp.

◆ run_tests()

int Test::run_tests	(	const std::vector< Base * > &	tests,
		const Options &	options )

Run all the tests with the supplied options.

Definition at line 279 of file test.cpp.

◆ run_tests_parallel()

int Test::run_tests_parallel	(	const std::vector< Base * > &	tests,
		const Options &	options )

Run all the tests with the supplied options i parallel.

Definition at line 443 of file test.cpp.

Variable Documentation

◆ afc

AFC Test::afc

Definition at line 135 of file afc.cpp.

◆ r

Region Test::r

Definition at line 65 of file region.cpp.

◆ olog

std::ostringstream Test::olog

Stream used for logging.

The olog is buffered and printed only if an error has occurred.

Definition at line 54 of file test.cpp.

◆ opt

Options Test::opt

The options.

Definition at line 95 of file test.cpp.

Namespaces

Classes

Enumerations

Functions

Variables