modelCheckFailure1
Check for failure when initial value is incorrect
Extends from CheckSuccess.
Components
| Type | Name | Default | Description |
|---|---|---|---|
| Real | x (from CheckSuccess) | 2*time + 1 | |
| AssertInitial | check_x (from CheckSuccess) |
Extends from CheckSuccess.
| Type | Name | Default | Description |
|---|---|---|---|
| Real | x (from CheckSuccess) | 2*time + 1 | |
| AssertInitial | check_x (from CheckSuccess) |