Clover Test Report
Coverage timestamp: Thu Feb 13 2014 22:53:14 UTC
 
Class Tests Fail Error % Tests Success
FormalProofLineListVoTest 1 1 0 0 0 0 0.048 100%
 
Tests Started Status Message
FormalProofLineListVoTest.testAllFormalProofLineListVoTest.testAll 139233189429113 Feb 22:51:34 1 PASS 0.0480.048