Clover Test Report
Coverage timestamp: Fri Feb 14 2014 01:47:57 UTC
 
Class Tests Fail Error % Tests Success
HeuristicCheckerPluginTest 4 4 0 0 0 0 9.761 100%
 
Tests Started Status Message
HeuristicCheckerPluginTest.testQedeqLogicScript1HeuristicCheckerPluginTest.testQedeqLogicScript1 139233586881813 Feb 23:57:48 1 PASS 2.0952.095  
HeuristicCheckerPluginTest.testQedeqLogicScript2HeuristicCheckerPluginTest.testQedeqLogicScript2 139233587092513 Feb 23:57:50 1 PASS 0.2010.201  
HeuristicCheckerPluginTest.testQedeqSetTheoryScript2HeuristicCheckerPluginTest.testQedeqSetTheoryScript2 139233587791313 Feb 23:57:57 1 PASS 0.7170.717  
HeuristicCheckerPluginTest.testQedeqSetTheoryScript1HeuristicCheckerPluginTest.testQedeqSetTheoryScript1 139233587113513 Feb 23:57:51 1 PASS 6.7486.748