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