|
|||||||||||
Class | Tests | Fail | Error | % Tests Success | |||||||
FormalProofListVoTest | 1 1 | 0 0 | 0 0 | 0.057 | 100% |
|
|||||
Tests | Started | Status | Message | ||||||||
FormalProofListVoTest.testAllFormalProofListVoTest.testAll | 139233189712213 Feb 22:51:37 | 1 PASS | 0.0570.057 | ||||||||
|