Editing JUnit tests

You can edit TPTP JUnit test before execution.

• JUnit Test Suite Editor

  TPTP JUnit Tests can be edited using the TPTP JUnit test suite editor.

  
  
• Tutorial: Accessing a datapool from a TPTP JUnit test