|
|||||||||||
Class | Tests | Fail | Error | % Tests Success | |||||||
FormalProofLineVoTest | 2 2 | 0 0 | 0 0 | 0.028 | 100% |
|
|||||
Tests | Started | Status | Message | ||||||||
FormalProofLineVoTest.testConstructosFormalProofLineVoTest.testConstructos | 139233189591113 Feb 22:51:35 | 1 PASS | 0.00900.009 | ||||||||
FormalProofLineVoTest.testAllFormalProofLineVoTest.testAll | 139233189594913 Feb 22:51:35 | 1 PASS | 0.0190.019 | ||||||||
|