| Name | Description |
|---|---|
| Assert that a value is within specification | |
| Assert that values are within specification | |
| Assert that a value is within orders of magnitude of specification | |
| Assert that values are within orders of magnitude of specification | |
| Assert the initial value of a signal | |
| Assert the final value of a signal | |
| Assert an average value between two times. | |
| Assert the initial value of a signal at a specific time | |
| Assert correctness of a whole solution trajectory | |
| A library to test the assertion primitives in this library | |