Aiemmin luodun JUnit-testin tuonti

Jos käytettävissä on JUnit-testejä TPTP-ympäristön ulkopuolella, ne voi tuoda TPTP JUnit -testiin seuraavasti.

Vaihe 1

Jos testit ovat jo Eclipse-ohjelman Java-projektissa, siirry vaiheeseen 2.

Vaihe 2

Huomaa, että ohjattu tuontitoiminto näyttää työtilan kaikki olemassa olevat JUnit-testitapaukset, joita ei ole jo tuotu TPTP-ympäristöön. Jos luettelo on tyhjä, joko työtilassa ei ole JUnit-testejä tai kaikki JUnit-testiluokat on jo tuotu TPTP:hen.