Test Result : AssumptionTest

0 failures
5 tests
Took 4 ms.

All Tests

Test nameDurationStatus
badAssumptions1 msPassed
clearRepeatedAssumptions1 msPassed
conflictingAssumptions0 msPassed
modelproduction1 msPassed
testAssumptionRemoval1 msPassed