modelCheckFailure1
Check for failure when starting in the middle of the interval
Extends from CheckSuccess (Check for successful value of average).
Components
| Type | Name | Default | Description |
|---|---|---|---|
| Real | x (from CheckSuccess) | sin(2*time) | |
| AssertAverageBetween | check_x (from CheckSuccess) |