![[Jenkins]](/ci/static/76d2b316/images/svgs/logo.svg){kind=logo}
Test Result : APITest
0 failures
10 tests
All Tests
| Test name | Duration | Status |
| cancellationRequest | 2 ms | Passed |
| testFaultyLogic | 0 ms | Passed |
| testGlobalSymbols | 0 ms | Passed |
| testNoLogic | 0 ms | Passed |
| testPushPop | 1 ms | Passed |
| testResetAssertions | 1 ms | Passed |
| testSetLogicTwice | 1 ms | Passed |
| testSetOptionLate | 0 ms | Passed |
| testTermAssertion | 1 ms | Passed |
| testUndeclared | 1 ms | Passed |