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 |