|Importing JUnit Tests into a TPTP JUnit Test [message #121945]
||Mon, 04 February 2008 11:09
Registered: July 2009
I have to import the JUnit Tests into a TPTP JUnit Tests.I have installed
eclipse Version: 3.0.2.
As per the instructions in the
"Eclipse documentation - Archived Release
Eclipse 3.1.2 "
When I select File/Import/JUnit tests to TPTP , I dont see the option
JUnit tests to TPTP . is it becuase of the eclipse version mismatch ?
3.0.2 is the installed version , but the documentation version is 3.1.2?
DO I have to install 3.1.2 in order to use the above feature or can I just
upgrade a specific plug-in , Please let me know.
Powered by FUDForum
. Page generated in 0.10483 seconds