[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [Newsgroup Home]
[news.eclipse.tptp] Re: Run test cases in quick mode and standard mode

Thank you for your answer.
Since I can run the test cases in the quick mode, with the context set right, he case should also run successfully in the standard mode.  Is that right? Furthurmore,  the cases are for my rcp program, does that mean AGR support RCP?