Clover Test Report
Coverage timestamp: Thu Feb 13 2014 22:53:14 UTC
 
Class Tests Fail Error % Tests Success
FormalProofListVoTest 1 1 0 0 0 0 0.057 100%
 
Tests Started Status Message
FormalProofListVoTest.testAllFormalProofListVoTest.testAll 139233189712213 Feb 22:51:37 1 PASS 0.0570.057