Inference

[manisabri]

Hi,

Clicking on InferenceTestSuite will result in below error

An error occurred at line: [244] in the jsp file: [/InferenceTestSuite.jsp]
Cannot make a static reference to the non-static method test(KB, String, int) from the type InferenceTestSuite
241:           req != null && req.equalsIgnoreCase("test")) {
242:           if (chosenEngine.equalsIgnoreCase("EProver")) {
243:               out.println("(Testing EProver)<br>");
244:               sb = sb.append(InferenceTestSuite.test(kb, "EProver", timeout));
245:           }               
246:           //if (chosenEngine.equalsIgnoreCase("LEO")) {
247:           //    out.println("(Testing LEO)<br>");


An error occurred at line: [264] in the jsp file: [/InferenceTestSuite.jsp]
The method test(KB, String, int) in the type InferenceTestSuite is not applicable for the arguments (KB, String, int, String)
261:                   out.println("(Testing remote SystemOnTPTP)<br>");
262:                   location="remote";
263:               }
264:               sb = sb.append(InferenceTestSuite.test(kb, systemChosen, timeout, location));
265:           }          
266:       }
267:       if (test != null && test.equalsIgnoreCase("english")) 

[apease]

Thanks for the bug report. I've fixed the Java error with my latest push, but additional work will be required to make this page function as intended