Opprette JUnit-tester

Du kan opprette en TPTP JUnit-test på disse to måtene: manuelt eller fra et eksisterende JUnit-testtilfelle.