![[Jenkins]](/ci/static/76d2b316/images/svgs/logo.svg){kind=logo}
Test Result : ModelTest
0 failures
8 tests
All Tests
| Test name | Duration | Status |
| testBoolean | 3 ms | Passed |
| testLIA | 7 ms | Passed |
| testLIRA | 1 ms | Passed |
| testLRA | 7 ms | Passed |
| testShared | 3 ms | Passed |
| testTermITE | 13 ms | Passed |
| testUF | 0.15 sec | Passed |
| testValuation | 3 ms | Passed |