Clover Test Report
Coverage timestamp: Fri Feb 14 2014 01:47:57 UTC
 
Class Tests Fail Error % Tests Success
QedeqBoFormalLogicCheckerDirectTest 5 5 0 0 0 0 0.912 100%
 
Tests Started Status Message
QedeqBoFormalLogicCheckerDirectTest.testNegative00QedeqBoFormalLogicCheckerDirectTest.testNegative00 139234227880714 Feb 01:44:38 1 PASS 0.4260.426  
QedeqBoFormalLogicCheckerDirectTest.testNegative02QedeqBoFormalLogicCheckerDirectTest.testNegative02 139234227930114 Feb 01:44:39 1 PASS 0.2360.236  
QedeqBoFormalLogicCheckerDirectTest.testNegative04QedeqBoFormalLogicCheckerDirectTest.testNegative04 139234227969414 Feb 01:44:39 1 PASS 0.1130.113  
QedeqBoFormalLogicCheckerDirectTest.testNegative01QedeqBoFormalLogicCheckerDirectTest.testNegative01 139234227925614 Feb 01:44:39 1 PASS 0.0380.038  
QedeqBoFormalLogicCheckerDirectTest.testNegative03QedeqBoFormalLogicCheckerDirectTest.testNegative03 139234227958714 Feb 01:44:39 1 PASS 0.0990.099