Test Result : ShortcutEvaluationTest
0 failures
7 tests
All Tests
Test name | Duration | Status |
---|---|---|
andNoStopWhenTrue | 1 ms | Passed |
andPrematureStopWhenFalse | 1 ms | Passed |
impliesNoStopWhenTrue | 2 ms | Passed |
impliesPrematureStopWhenFalse | 1 ms | Passed |
orNoStopWhenFalse | 0 ms | Passed |
orPrematureStopWhenTrue | 0 ms | Passed |
serviceIsCounting | 1 ms | Passed |