| 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 |