JUnit-Tests erstellen

Sie können einen TPTP-JUnit-Test auf zwei Weisen erstellen: manuell oder in Form eines vorhandenen JUnit-Testfalls.