Clover Test Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
 
Class Tests Fail Error % Tests Success
HeuristicCheckerPluginTest 4 4 0 0 0 0 17.685 100%
 
Tests Started Status Message
HeuristicCheckerPluginTest.testQedeqSetTheoryScript1HeuristicCheckerPluginTest.testQedeqSetTheoryScript1 139234729157114 Feb 03:08:11 1 PASS 13.94113.941  
HeuristicCheckerPluginTest.testQedeqLogicScript2HeuristicCheckerPluginTest.testQedeqLogicScript2 139234729124914 Feb 03:08:11 1 PASS 0.30.3  
HeuristicCheckerPluginTest.testQedeqSetTheoryScript2HeuristicCheckerPluginTest.testQedeqSetTheoryScript2 139234730585214 Feb 03:08:25 1 PASS 0.8160.816  
HeuristicCheckerPluginTest.testQedeqLogicScript1HeuristicCheckerPluginTest.testQedeqLogicScript1 139234728858414 Feb 03:08:08 1 PASS 2.6282.628