![[Jenkins]](/ci/static/76d2b316/images/svgs/logo.svg){kind=logo}
Test Result : TermCompilerTest
0 failures
6 tests
All Tests
| Test name | Duration | Status |
| testAnd | 0 ms | Passed |
| testDistinct | 1 ms | Passed |
| testEq | 1 ms | Passed |
| testIte | 1 ms | Passed |
| testNot | 0 ms | Passed |
| testOr | 0 ms | Passed |