| Importing JUnit Tests into a TPTP JUnit Test [message #121945] |
Mon, 04 February 2008 11:09  |
saran Messages: 23 Registered: July 2009 |
Junior Member |
|
|
Hi All,
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.
Thanks
Saran
|
|
|
|
|
|
Powered by
FUDForum. Page generated in 0.01865 seconds