![[Jenkins]](/ci/static/76d2b316/images/svgs/logo.svg){kind=logo}
Test Result : de.uni_freiburg.informatik.ultimate.logic
0 failures
37 tests
All Tests
| Class | Duration | Fail | (diff) | Skip | (diff) | Pass | (diff) | Total | (diff) |
| FunctionTest | 90 ms | 0 | 0 | 1 | +1 | 1 | +1 | ||
| LetTest | 15 ms | 0 | 0 | 5 | +5 | 5 | +5 | ||
| LogicTest | 4 ms | 0 | 0 | 2 | +2 | 2 | +2 | ||
| ModelValueTest | 6 ms | 0 | 0 | 1 | +1 | 1 | +1 | ||
| MutableRationalTest | 47 ms | 0 | 0 | 3 | +3 | 3 | +3 | ||
| PrintTest | 63 ms | 0 | 0 | 2 | +2 | 2 | +2 | ||
| RationalTermTest | 8 ms | 0 | 0 | 3 | +3 | 3 | +3 | ||
| RationalTest | 6 ms | 0 | 0 | 7 | +7 | 7 | +7 | ||
| SortTest | 18 ms | 0 | 0 | 4 | +4 | 4 | +4 | ||
| TermEquivalenceTest | 2 ms | 0 | 0 | 1 | +1 | 1 | +1 | ||
| UnfletTest | 14 ms | 0 | 0 | 8 | +8 | 8 | +8 |