"Saran" <firstname.lastname@example.org> wrote in message
> Hi All,
> can I convert my JUNIT4 Tests into TPTP JUnit Tests ? I know that it is
> not supported in older releases. Is it supported in any new versions of
> Please let me know.