int.cc File Reference

(Revision: 6328)

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

Go to the source code of this file.

Namespaces
namespace	Test
namespace	Test::Int
Classes
class	Test::Int::TestSpace
	Space for executing tests. More...
Defines
#define	CHECK_TEST(T, M)
	Check the test result and handle failed test.
#define	START_TEST(T)
	Start new test.
Functions
std::ostream &	operator<< (std::ostream &os, const Test::Int::Assignment &a)
Assignment *	Test::assignment (void) const
bool	Test::ignore (const Assignment &) const
void	Test::post (Gecode::Space *, Gecode::IntVarArray &, Gecode::BoolVar)
bool	Test::run (void)

---

Define Documentation

#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 360 of file int.cc.

#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 368 of file int.cc.

---

Function Documentation

std::ostream& operator<<	(	std::ostream &	os,
		const Test::Int::Assignment &	a
	)

Definition at line 76 of file int.cc.