|
|||||||||||
Class | Tests | Fail | Error | % Tests Success | |||||||
FormalProofLineVoTest | 2 2 | 0 0 | 0 0 | 0.028 | 100% |
|
|||||
Tests | Started | Status | Message | ||||||||
FormalProofLineVoTest.testAllFormalProofLineVoTest.testAll | 136940314838824 May 13:45:48 | 1 PASS | 0.0180.018 | ||||||||
FormalProofLineVoTest.testConstructosFormalProofLineVoTest.testConstructos | 136940314837224 May 13:45:48 | 1 PASS | 0.010.01 | ||||||||
|