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
feature.
-
Importing an existing JUnit test
If you have JUnit tests outside of TPTP, these can be
imported into a TPTP JUnit test.
