unix-32 / Tests-unix-32 / testArgumentsNumber | 0 ms | Passed |
unix-32 / Tests-unix-32 / testExceptionDoesNotStopTheFlow | 2 ms | Passed |
unix-32 / Tests-unix-32 / testExceptionInWrongEqualityReturns | 0 ms | Passed |
unix-32 / Tests-unix-32 / testForbiddenSetIsOverApprovedSet | 0 ms | Passed |
unix-32 / Tests-unix-32 / testMethodApprovedInClassButDisapprovedInSuperClass | 0 ms | Passed |
unix-32 / Tests-unix-32 / testMethodDisapprovedInClassButApprovedInSuperClass | 0 ms | Passed |
unix-32 / Tests-unix-32 / testMethodNotDefinedAndDisapprovedInClassButApprovedInSuperClass | 0 ms | Passed |
unix-32 / Tests-unix-32 / testMethodNotDefinedInClassAndDisapprovedInSuperClass | 0 ms | Passed |
unix-32 / Tests-unix-32 / testMethodNotDefinedInClassButApprovedInSuperClass | 0 ms | Passed |
unix-32 / Tests-unix-32 / testMethodOnlyBottomDefinedAndApprovedInBottom | 0 ms | Passed |
unix-32 / Tests-unix-32 / testMethodOnlyTopDefinedAndApprovedInTop | 0 ms | Passed |
unix-32 / Tests-unix-32 / testPermutation | 39 ms | Passed |
unix-32 / Tests-unix-32 / testSearchOnClassDoesNotFail | 0 ms | Passed |
unix-32 / Tests-unix-32 / testSideEffects | 1 ms | Passed |
unix-32 / Tests-unix-32 / testSideEffectsBetweenTestProves | 3 ms | Passed |