modelCheckFailure2
Check for failure when transition is early
Extends from CheckSuccess.
Components
| Type | Name | Default | Description |
|---|---|---|---|
| Real | x (from CheckSuccess) | time | |
| AssertBecomesTrueAt | check_event (from CheckSuccess) |
Extends from CheckSuccess.
| Type | Name | Default | Description |
|---|---|---|---|
| Real | x (from CheckSuccess) | time | |
| AssertBecomesTrueAt | check_event (from CheckSuccess) |