Eclipse Community Forums: Test and Performance Tools Platform (TPTP)

Help

Home

Home » Eclipse Projects » Test and Performance Tools Platform (TPTP) » Junit 4 & TPTP

Show: Today's Messages :: Show Polls :: Message Navigator

Junit 4 & TPTP [message #135601]

Wed, 10 September 2008 17:56

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

Report message to a moderator

Re: Junit 4 & TPTP [message #135640 is a reply to message #135601]

Thu, 11 September 2008 06:12

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
>

Report message to a moderator

Previous Topic:	How to play register AGR macro inside JUnit tests ?
Next Topic:	TPTP and J unit 4

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Wed May 22 01:58:27 EDT 2013