Test Result : MethodFinderTest

0 failures (±0)
15 tests (±0)
Took 66 ms.

All Tests

Test nameDurationStatus
testArgumentsNumber1 msPassed
testExceptionDoesNotStopTheFlow5 msPassed
testExceptionInWrongEqualityReturns1 msPassed
testForbiddenSetIsOverApprovedSet0 msPassed
testMethodApprovedInClassButDisapprovedInSuperClass0 msPassed
testMethodDisapprovedInClassButApprovedInSuperClass1 msPassed
testMethodNotDefinedAndDisapprovedInClassButApprovedInSuperClass0 msPassed
testMethodNotDefinedInClassAndDisapprovedInSuperClass0 msPassed
testMethodNotDefinedInClassButApprovedInSuperClass0 msPassed
testMethodOnlyBottomDefinedAndApprovedInBottom1 msPassed
testMethodOnlyTopDefinedAndApprovedInTop1 msPassed
testPermutation49 msPassed
testSearchOnClassDoesNotFail1 msPassed
testSideEffects4 msPassed
testSideEffectsBetweenTestProves3 msPassed