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.