Clover Test Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
 
Class Tests Fail Error % Tests Success
FormalProofLineListVoTest 1 1 0 0 0 0 0.024 100%
 
Tests Started Status Message
FormalProofLineListVoTest.testAllFormalProofLineListVoTest.testAll 139236283289414 Feb 07:27:12 1 PASS 0.0240.024