![[Jenkins]](/tracecompass/static/1c2dc6fe/images/svgs/logo.svg){kind=logo}
Test Result : StateSystemPushPopTest
0 failures
5 tests
All Tests
| Test name | Duration | Status |
|---|---|---|
| testBeginEnd | 2 ms | Passed |
| testEmptyStack | 3 ms | Passed |
| testFullQueries | 3 ms | Passed |
| testSingleQueries | 2 ms | Passed |
| testStackTop | 6 ms | Passed |