Clover Test Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
 
Class Tests Fail Error % Tests Success
FormalProofLineVoTest 2 2 0 0 0 0 0.023 100%
 
Tests Started Status Message
FormalProofLineVoTest.testAllFormalProofLineVoTest.testAll 139236283368314 Feb 07:27:13 1 PASS 0.0150.015  
FormalProofLineVoTest.testConstructosFormalProofLineVoTest.testConstructos 139236283366714 Feb 07:27:13 1 PASS 0.00800.008