Du kan skapa ett TPTP JUnit-test antingen manuellt eller från ett befintligt JUnit-testfall.
Du kan skapa TPTP JUnit-tester manuellt eller genom att importera befintliga JUnit-tester utanför TPTP till ett TPTP JUnit-test. Skapa dem manuellt om du vill använda TPTP JUnit-testets funktion för funktionalitet.
Om du redan har JUnit-tester utanför TPTP kan du importera dem till ett TPTP JUnit-test.