|
|||||||||||
Class | Tests | Fail | Error | % Tests Success | |||||||
FormalProofVoTest | 2 2 | 0 0 | 0 0 | 0.073 | 100% |
|
|||||
Tests | Started | Status | Message | ||||||||
FormalProofVoTest.testAllFormalProofVoTest.testAll | 136940315023724 May 13:45:50 | 1 PASS | 0.0490.049 | ||||||||
FormalProofVoTest.testConstructorFormalProofVoTest.testConstructor | 136940315020124 May 13:45:50 | 1 PASS | 0.0240.024 | ||||||||
|