Build Script and TPTP

The Jazz build toolkit supports publishing junit xml log files. So, if you
have such log files output from TPTP, then you can publishing them with the
junitLogPublisher task in the build toolkit.

By the way, there is nothing special about Jazz launching junit scripts.
Jazz is just running an ant build file. If you can write your ant build file
to run a TPTP test with the appropriate xml output, then you can publish the
rich junit results in Jazz.

Even if you don't get the xml output, you can publish log files as plain
text using the logPublisher.

---
Ryan Manwiller
Jazz Team Build

Thanks! I will give it a try and let you know the results.

Ryan Manwiller wrote:

The Jazz build toolkit supports publishing junit xml log files. So, if
you have such log files output from TPTP, then you can publishing them
with the junitLogPublisher task in the build toolkit.

By the way, there is nothing special about Jazz launching junit scripts.
Jazz is just running an ant build file. If you can write your ant build
file to run a TPTP test with the appropriate xml output, then you can
publish the rich junit results in Jazz.

Even if you don't get the xml output, you can publish log files as plain
text using the logPublisher.

---
Ryan Manwiller
Jazz Team Build