| [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?