Expand description
Conditions allow to tests for invariants or expected actions
Structs§
- Condition
- A condition that can be used in test-cases
Traits§
- Checker
- A
Checkeris the actual instance that executes when a condition evaluates. - Test
Condition - A condition check for a given property