| Re: [tptp-monitoring-tools-dev] TPTP Verification Hooks |
Hi. I am looking into using the Automated GUI Recorder for a
educational project and I haven't been able to find any good examples on
how to implement verification hooks. What I need to do is insert a hook
that verifies that a certain problem marker was generated. I was
thinking that this was possible by using the problems view as my
verification point. The only documentation I can find about
verification hooks is on the TPTP user guide, but find the explanation
insufficient. If anyone would point me in a direction of where to find
more examples or a better explanation of how to write verification
hooks, it would be appreciated. Thank you.
Patrick
_______________________________________________
tptp-monitoring-tools-dev mailing list
tptp-monitoring-tools-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/tptp-monitoring-tools-dev