Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Eclipse Projects » Test and Performance Tools Platform (TPTP) » Junit 4 & TPTP
Junit 4 & TPTP [message #135601] Wed, 10 September 2008 17:56 Go to next message
saran is currently offline saran
Messages: 23
Registered: July 2009
Junior Member
Hi All,

Can I convert a JUnit4 Test into a TPTP JUnit Test, I saw in previous
posts it is not supported ? is it supported in recent releases of TPTP ?


Please let me know.


Thanks
Saran
Re: Junit 4 & TPTP [message #135640 is a reply to message #135601] Thu, 11 September 2008 06:12 Go to previous message
Paul Slauenwhite is currently offline Paul Slauenwhite
Messages: 970
Registered: July 2009
Senior Member
Hi Saran,
Unfortunately, TPTP does yet support JUnit 4. Please see enhancement:

https://bugs.eclipse.org/bugs/show_bug.cgi?id=151071

Paul
"Saran" <saravanan.subramanian@cmegroup.com> wrote in message
news:1e84209a03e55539c1eb053ab4391103$1@www.eclipse.org...
> Hi All,
>
> Can I convert a JUnit4 Test into a TPTP JUnit Test, I saw in previous
> posts it is not supported ? is it supported in recent releases of TPTP ?
>
>
> Please let me know.
>
>
> Thanks
> Saran
>
Previous Topic:How to play register AGR macro inside JUnit tests ?
Next Topic:TPTP and J unit 4
Goto Forum:
  


Current Time: Tue Jul 29 15:10:16 EDT 2014

Powered by FUDForum. Page generated in 0.01758 seconds