[news.eclipse.tptp] Re: Run test cases in quick mode and standard mode

["Paul Slauenwhite" <paules@xxxxxxxxxx>]

Yes, if you want to use the AGR.  However, there are other test types 
(JUnit, JUnit Plug-in, and URL) in the project.  Of course, the project 
provide the framework to build new test tools.

Paul
"shan" <kangshan0910@xxxxxxx> wrote in message 
news:h8v3ip$iif$1@xxxxxxxxxxxxxxxxxxxx
> Well, does that mean if I want to test my program with tptp, the only way 
> is that making my program as a plugin?