|
|||||||||||
Class | Tests | Fail | Error | % Tests Success | |||||||
FormalProofVoTest | 2 2 | 0 0 | 0 0 | 0.075 | 100% |
|
|||||
Tests | Started | Status | Message | ||||||||
FormalProofVoTest.testConstructorFormalProofVoTest.testConstructor | 139233189843413 Feb 22:51:38 | 1 PASS | 0.0260.026 | ||||||||
FormalProofVoTest.testAllFormalProofVoTest.testAll | 139233189846613 Feb 22:51:38 | 1 PASS | 0.0490.049 | ||||||||
|