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.