Clover Test Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
 
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