Clover Test Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
App    Test    Results    Clouds   
Overview    Package    File    Test
    FRAMES   NO FRAMES     
 
Class Tests Fail Error % Tests Success
ConditionalProofVoTest 4 4 0 0 0 0 0.052 100%
 
Tests Started Status Message
ConditionalProofVoTest.testGetFormulaConditionalProofVoTest.testGetFormula 136940314613324 May 13:45:46 1 PASS 0.00200.002  
ConditionalProofVoTest.testAllConditionalProofVoTest.testAll 136940314614524 May 13:45:46 1 PASS 0.0350.035  
ConditionalProofVoTest.testGetLabelConditionalProofVoTest.testGetLabel 136940314611624 May 13:45:46 1 PASS 0.010.01  
ConditionalProofVoTest.testUnuasalGetterConditionalProofVoTest.testUnuasalGetter 136940314613724 May 13:45:46 1 PASS 0.00500.005  
 
CloverReport generated by Clover Code Coverage v3.1.10
Fri May 24 2013 13:47:32 UTC.		   Clover: Open Source License registered to qedeq.org .