Clover Test Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
 
Class Tests Fail Error % Tests Success
FormalProofListVoTest 1 1 0 0 0 0 0.035 100%
 
Tests Started Status Message
FormalProofListVoTest.testAllFormalProofListVoTest.testAll 139236283432914 Feb 07:27:14 1 PASS 0.0350.035