Skip to main content

Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Archived » Test and Performance Tools Platform (TPTP) » Problem building tutorial #22 from eclipseCon2005
Problem building tutorial #22 from eclipseCon2005 [message #85758] Mon, 23 October 2006 16:50 Go to next message
Deniz Ã?zsen is currently offline Deniz Ã?zsenFriend
Messages: 4
Registered: July 2009
Junior Member
Hi there,

I'm new to TPTP, learning by looking at docs and tutorials at the
moment. So I set up my workbench as follows (on Windows 2000):

- Eclipse 3.2
- TPTP 4.2.1 (+ all requirements)

and then imported the following example:

which I found here: seCon2005/index.html

Now, this does not build within the workbench configuration I mentioned
above, and I suspect this must be the case because the example code was
based on an older version of TPTP, seeing as the example is from last year.

So my question is: What is the best way for me to make that example
work? Is a newer version of it available somewhere, or do I have to
download an older version of TPTP (and/or any other plug-ins)? If so,
then would anyone know what are the exact versions are that will make
the example code build?

I'd be grateful for any answer to this. Thanks in advance!

Re: Problem building tutorial #22 from eclipseCon2005 [message #96750 is a reply to message #85758] Mon, 23 April 2007 11:41 Go to previous message
Paul Slauenwhite is currently offline Paul SlauenwhiteFriend
Messages: 975
Registered: July 2009
Senior Member
Hi Deniz,
This tutorial was based on Hyades v3.2.0
Unfortunately, the source for this particular presentation has not been
ported to a newer version of TPTP. However, parts of the original
presentation have been reused (and ported) in other presentations. What
parts of the original presentation are you interested?

Next Topic:Questions about remote running of JUnit Plugin Tests?
Goto Forum:

Current Time: Tue Aug 04 20:11:29 GMT 2020

Powered by FUDForum. Page generated in 0.01732 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top