Tests on the AssertBecomesTrueAt model
Name | Description |
---|---|
CheckSuccess | |
CheckFailure1 | Check for failure when expected transition is before simulation start |
CheckFailure2 | Check for failure when transition is early |
CheckFailure3 | Check for failure when transition is late |
CheckFailure4 | Check for failure when expected transition is after simulation end |