Hi
I am trying to implement the AGR verification hooks in eclipse TPTP platform. I am following the instructions in
http://www.eclipse.org/tptp/test/documents/userguides/Intro-Auto-GUI.html#2.3.1
section 2.3.2
After creating the test suite and test case and finally running test.In the log file that I am importing to verify insert I could not locate the warning log record with the message: "GET /scripts/root.exe?/c+dir HTTP/1.0" 404 279 .
I get the message like test inconclusive or failed.This probably happens because when while recording the import process of log file when I click insert button on recorder I get a message that the selected context is not supported by the verification hooks. finally I get the result of test case as either fail or inconclusive neither could I see the any entry in the user input field.Could anyone please suggest a way out for the same.
Thanks in advance
Regards
Sagar
