JUnit-testien luonti

Voit luoda TPTP JUnit -testin kahdella tavalla: manuaalisesti tai aiemmin luodun JUnit-testitapauksen perusteella.