newbie question for setting up tptp - junit [message #41264] |
Thu, 17 November 2005 22:24 |
Eclipse User |
|
|
|
Originally posted by: jd395j.yahoo.com
The tutorials show the ability to select a tptp junit testcase. From file>
new> other> tptp junit testcase. In my eclipse 3.1 set up, I don't see the
'test' folder and I can't access the junit screens shown in the help file.
I installed tptp4.0.1 according to the instructions, including the xsd and
emf files and the agent. Incidentally, the agent
I also followed the tptp installation video and still don't see the
profiling option from the eclipse sdk.
Any ideas? thanks.
|
|
|
Re: newbie question for setting up tptp - junit [message #41388 is a reply to message #41264] |
Fri, 18 November 2005 06:41 |
No real name Messages: 404 Registered: July 2009 |
Senior Member |
|
|
Try to start your workbench with the -clean flag. Make sure that you have
the following items from the 4.0.1 download page
( http://www.eclipse.org/tptp/home/downloads/drops/TPTP-4.0.1. html):
- Under "TPTP Runtime and SDK", download the Runtime labeled 'All'
- Under "Agent Controller", download the agent controller for your platform
(e.g. Windows-IA32)
- Under "Requirements", download Eclipse SDK 3.1.1, EMF 2.1.1, and XSD 2.1.1
If you don't see the 'Profiling & Logging' perspective or the 'Test'
perspective, then view the '.log' file under the '.metadata' directory of
your workspace. See if there are any errors that are logged.
"JD" <jd395j@yahoo.com> wrote in message
news:fdcbd71a174128288188ac294ba78e6c$1@www.eclipse.org...
> The tutorials show the ability to select a tptp junit testcase. From file>
> new> other> tptp junit testcase. In my eclipse 3.1 set up, I don't see the
> 'test' folder and I can't access the junit screens shown in the help file.
> I installed tptp4.0.1 according to the instructions, including the xsd and
> emf files and the agent. Incidentally, the agent
>
> I also followed the tptp installation video and still don't see the
> profiling option from the eclipse sdk.
>
> Any ideas? thanks.
>
|
|
|
Powered by
FUDForum. Page generated in 0.02136 seconds