Clover Test Report
Coverage timestamp: Thu Feb 13 2014 22:53:14 UTC
 
Class Tests Fail Error % Tests Success
FormalProofLineVoTest 2 2 0 0 0 0 0.028 100%
 
Tests Started Status Message
FormalProofLineVoTest.testConstructosFormalProofLineVoTest.testConstructos 139233189591113 Feb 22:51:35 1 PASS 0.00900.009  
FormalProofLineVoTest.testAllFormalProofLineVoTest.testAll 139233189594913 Feb 22:51:35 1 PASS 0.0190.019