General test support.
More...
|
| 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 | Set |
| | Testing finite sets.
|
|
| int | main (int argc, char *argv[]) |
| | Main function.
|
| std::ostream & | operator<< (std::ostream &os, const Test::ind &i) |
| | Print indentation.
|
|
| std::ostringstream | olog |
| | Stream used for logging.
|
| Options | opt |
| | The options.
|
◆ MatchType
How to match.
| Enumerator |
|---|
| MT_ANY | |
| MT_NOT | |
| MT_FIRST | |
Definition at line 76 of file test.hh.
◆ olog
| std::ostringstream Test::olog |
|
extern |
Stream used for logging.
The olog is buffered and printed only if an error has occurred.
◆ opt