Clover Test Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
 
Class Tests Fail Error % Tests Success
QedeqBoFormalLogicCheckerDirectTest 5 5 0 0 0 0 0.949 100%
 
Tests Started Status Message
QedeqBoFormalLogicCheckerDirectTest.testNegative02QedeqBoFormalLogicCheckerDirectTest.testNegative02 139236220346014 Feb 07:16:43 1 PASS 0.3690.369  
QedeqBoFormalLogicCheckerDirectTest.testNegative04QedeqBoFormalLogicCheckerDirectTest.testNegative04 139236220421214 Feb 07:16:44 1 PASS 0.1090.109  
QedeqBoFormalLogicCheckerDirectTest.testNegative03QedeqBoFormalLogicCheckerDirectTest.testNegative03 139236220395814 Feb 07:16:43 1 PASS 0.1220.122  
QedeqBoFormalLogicCheckerDirectTest.testNegative00QedeqBoFormalLogicCheckerDirectTest.testNegative00 139236220306314 Feb 07:16:43 1 PASS 0.3020.302  
QedeqBoFormalLogicCheckerDirectTest.testNegative01QedeqBoFormalLogicCheckerDirectTest.testNegative01 139236220339714 Feb 07:16:43 1 PASS 0.0470.047