|
|||||||||||
Class | Tests | Fail | Error | % Tests Success | |||||||
FormalProofLineListVoTest | 1 1 | 0 0 | 0 0 | 0.024 | 100% |
|
|||||
Tests | Started | Status | Message | ||||||||
FormalProofLineListVoTest.testAllFormalProofLineListVoTest.testAll | 139236283289414 Feb 07:27:12 | 1 PASS | 0.0240.024 | ||||||||
|