set.cpp File Reference

#include "test/set.hh"
#include <algorithm>

Go to the source code of this file.

Namespaces
	Test
	General test support.
	Test::Set
	Testing finite sets.

Macros
#define	CHECK_TEST(T, M)
	Check the test result and handle failed test. More...
#define	START_TEST(T)
	Start new test. More...

Functions
std::ostream &	operator<< (std::ostream &os, const Test::Set::SetAssignment &a)

Macro Definition Documentation

CHECK_TEST

#define CHECK_TEST	(		T,
			M
	)

Value:

if (opt.log)                                                    \
  olog << ind(3) << "Check: " << (M) << std::endl;              \
if (!(T)) {                                                     \
  problem = (M); delete s; goto failed;                         \
}

Check the test result and handle failed test.

Definition at line 702 of file set.cpp.

START_TEST

#define START_TEST

(

T

)

Value:

  if (opt.log) {                                                \
     olog.str("");                                              \
     olog << ind(2) << "Testing: " << (T) << std::endl;         \
  }                                                             \
  test = (T);

Start new test.

Definition at line 710 of file set.cpp.

Function Documentation

operator<<()

std::ostream& operator<<	(	std::ostream &	os,
		const Test::Set::SetAssignment &	a
	)

Definition at line 105 of file set.cpp.