modelCheckFailure1
Check for failure when expected transition is before simulation start
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) |