| Name | Description |
|---|---|
| assertValue | Assert that a value is within specification |
| assertValues | Assert that values are within specification |
| assertLogValue | Assert that a value is within orders of magnitude of specification |
| assertLogValues | Assert that values are within orders of magnitude of specification |
| AssertTrajectory | |
| AssertBecomesTrueAt | |
| AssertInitial | Assert the initial value of a signal |
| AssertFinal | Assert the final value of a signal |
| AssertAverageBetween | Assert an average value between two times. |
| AssertValueAt | Assert the initial value of a signal at a specific time |
| AssertContinuousTrajectory | Assert correctness of a whole solution trajectory |
| Tests | A library to test the assertion primitives in this library |
| Features |