(Revision: 13435)
#include "test/int.hh"
#include <algorithm>
Go to the source code of this file.
|
| Test |
| General test support.
|
|
| Test::Int |
| Testing finite domain integers.
|
|
#define CHECK_TEST |
( |
|
T, |
|
|
|
M |
|
) |
| |
Value:
olog << ind(3) <<
"Check: " << (M) << std::endl; \
if (!(T)) { \
problem = (M); delete s; goto failed; \
}
bool log
Whether to log the tests.
std::ostringstream olog
Stream used for logging.
Check the test result and handle failed test.
Definition at line 365 of file int.cpp.
Value:
olog << ind(2) <<
"Testing: " << (T) << std::endl; \
} \
test = (T);
bool log
Whether to log the tests.
std::ostringstream olog
Stream used for logging.
Start new test.
Definition at line 373 of file int.cpp.