Creating JUnit tests
You can create a TPTP JUnit test in one of two ways: manually or from an
existing JUnit test case.
Creating a JUnit test manually
TPTP JUnit Tests can be created manually or as a result of
importing existing JUnit tests outside TPTP into a TPTP JUnit Test. They should
be created manually if they are to exploit the TPTP JUnit Test behavior
Importing an existing JUnit test
If you have JUnit tests outside of TPTP, these can be
imported into a TPTP JUnit test.