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