Clover Test Report
Coverage timestamp: Thu Feb 13 2014 22:53:14 UTC
 
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