|
|||||||||||
Class | Tests | Fail | Error | % Tests Success | |||||||
FormalProofVoTest | 2 2 | 0 0 | 0 0 | 0.038 | 100% |
|
|||||
Tests | Started | Status | Message | ||||||||
FormalProofVoTest.testConstructorFormalProofVoTest.testConstructor | 139236283513714 Feb 07:27:15 | 1 PASS | 0.0150.015 | ||||||||
FormalProofVoTest.testAllFormalProofVoTest.testAll | 139236283516114 Feb 07:27:15 | 1 PASS | 0.0230.023 | ||||||||
|