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
QedeqBoFormalLogicCheckerDirectTest 5 5 0 0 0 0 1.037 100%
 
Tests Started Status Message
QedeqBoFormalLogicCheckerDirectTest.testNegative04QedeqBoFormalLogicCheckerDirectTest.testNegative04 136940253131024 May 13:35:31 1 PASS 0.0840.084  
QedeqBoFormalLogicCheckerDirectTest.testNegative00QedeqBoFormalLogicCheckerDirectTest.testNegative00 136940253029624 May 13:35:30 1 PASS 0.4230.423  
QedeqBoFormalLogicCheckerDirectTest.testNegative03QedeqBoFormalLogicCheckerDirectTest.testNegative03 136940253124624 May 13:35:31 1 PASS 0.0590.059  
QedeqBoFormalLogicCheckerDirectTest.testNegative02QedeqBoFormalLogicCheckerDirectTest.testNegative02 136940253084324 May 13:35:30 1 PASS 0.3930.393  
QedeqBoFormalLogicCheckerDirectTest.testNegative01QedeqBoFormalLogicCheckerDirectTest.testNegative01 136940253075124 May 13:35:30 1 PASS 0.0780.078  
 
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 .