Importér en eksisterende JUnit-test

Hvis du har JUnit-test uden for TPTP, kan de importeres i en TPTP JUnit-test.

Trin 1

Hvis de allerede er i et eksisterende Eclipse Java-projekt, skal du fortsætte med Trin 2.

Trin 2

Bemærk, at guiden Importér viser alle eksisterende JUnit-testcases i arbejdsområdet, der ikke allerede er blevet importeret til TPTP. Hvis denne liste er tom, betyder det, at der enten ikke blev fundet nogen JUnit-test i arbejdsområdet, eller at alle eksisterende JUnit-testklasser allerede er importeret i TPTP.