General test support.
More...
|
namespace | Array |
| Tests for arrays.
|
namespace | Assign |
| Tests for assignments.
|
namespace | Branch |
| Tests for branchings.
|
namespace | FlatZinc |
| Tests for FlatZinc.
|
namespace | Float |
| Testing domain floats.
|
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.
|
◆ MatchType
How to match.
Enumerator |
---|
MT_ANY | |
MT_NOT | |
MT_FIRST | |
Definition at line 109 of file test.cpp.
◆ report_error()
void Test::report_error |
( |
std::string | name | ) |
|
◆ afc
◆ olog
std::ostringstream Test::olog |
Stream used for logging.
The olog is buffered and printed only if an error has occured.
Definition at line 53 of file test.cpp.
◆ opt
The options.
Definition at line 97 of file test.cpp.
◆ testpat
std::vector<std::pair<MatchType, const char*> > Test::testpat |
◆ startFrom
const char* Test::startFrom = NULL |
◆ list