A library to test the assertion primitives in this library
| Name | Description |
|---|---|
| Trajectory | Tests on the AssertTrajectory model |
| BecomesTrueAt | Tests on the AssertBecomesTrueAt model |
| Initial | Tests associated with AssertInitial model |
| Final | Tests associated with AssertFinal model |
| Average | Tests associated with AssertAverage model |
| ValueAt | Tests associated with AssertValueAt model |
| Values | Tests associated with assertValues function |
| LogValue | Tests associated with assertLogValue function |
| LogValues | Tests associated with assertLogValues function |