Clover Test Report
Coverage timestamp: Fri Feb 14 2014 01:47:57 UTC
 
Class Tests Fail Error % Tests Success
QedeqBoFormalLogicCheckerTest 1 1 0 0 0 0 1.294 100%
 
Tests Started Status Message
QedeqBoFormalLogicCheckerTest.testCheckModuleQedeqBoFormalLogicCheckerTest.testCheckModule 139234228088314 Feb 01:44:40 1 PASS 1.2941.294