|
|||||||||||
Class | Tests | Fail | Error | % Tests Success | |||||||
ProofCheckerTest | 3 3 | 0 0 | 0 0 | 1.696 | 100% |
|
|||||
Tests | Started | Status | Message | ||||||||
ProofCheckerTest.testCheck6ProofCheckerTest.testCheck6 | 139234273498314 Feb 01:52:14 | 1 PASS | 0.3510.351 | ||||||||
ProofCheckerTest.testCheck1ProofCheckerTest.testCheck1 | 139234273277414 Feb 01:52:12 | 1 PASS | 0.9620.962 | ||||||||
ProofCheckerTest.testCheck4ProofCheckerTest.testCheck4 | 139234273443814 Feb 01:52:14 | 1 PASS | 0.3830.383 | ||||||||
|