|
|||||||||||
Class | Tests | Fail | Error | % Tests Success | |||||||
ProofCheckerTest | 3 3 | 0 0 | 0 0 | 2.983 | 100% |
|
|||||
Tests | Started | Status | Message | ||||||||
ProofCheckerTest.testCheck4ProofCheckerTest.testCheck4 | 139233223340513 Feb 22:57:13 | 1 PASS | 0.5050.505 | ||||||||
ProofCheckerTest.testCheck6ProofCheckerTest.testCheck6 | 139233223392813 Feb 22:57:13 | 1 PASS | 0.4130.413 | ||||||||
ProofCheckerTest.testCheck1ProofCheckerTest.testCheck1 | 139233223130213 Feb 22:57:11 | 1 PASS | 2.0652.065 | ||||||||
|