Vytváření testů JUnit

Test TPTP JUnit můžete vytvořit jedním ze dvou způsobů: Ručně nebo z existujícího testovacího případu JUnit.