Clover Test Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
 
Class Tests Fail Error % Tests Success
QedeqBoFormalLogicCheckerTest 1 1 0 0 0 0 1.34 100%
 
Tests Started Status Message
QedeqBoFormalLogicCheckerTest.testCheckModuleQedeqBoFormalLogicCheckerTest.testCheckModule 139236220538014 Feb 07:16:45 1 PASS 1.341.34