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