![[Jenkins]](/ci/static/76d2b316/images/svgs/logo.svg){kind=logo}
Test Result : AssumptionTest
0 failures
5 tests
All Tests
| Test name | Duration | Status |
| badAssumptions | 1 ms | Passed |
| clearRepeatedAssumptions | 1 ms | Passed |
| conflictingAssumptions | 0 ms | Passed |
| modelproduction | 1 ms | Passed |
| testAssumptionRemoval | 1 ms | Passed |