|
|||||||||||
Class | Tests | Fail | Error | % Tests Success | |||||||
FormalProofLineVoTest | 2 2 | 0 0 | 0 0 | 0.023 | 100% |
|
|||||
Tests | Started | Status | Message | ||||||||
FormalProofLineVoTest.testAllFormalProofLineVoTest.testAll | 139236283368314 Feb 07:27:13 | 1 PASS | 0.0150.015 | ||||||||
FormalProofLineVoTest.testConstructosFormalProofLineVoTest.testConstructos | 139236283366714 Feb 07:27:13 | 1 PASS | 0.00800.008 | ||||||||
|