Importere en eksisterende JUnit-test

Hvis du har JUnit-tester utenfor TPTP, kan disse importeres i en TPTP JUnit-test.

Trinn 1

Hvis testene allerede er i et eksisterende Eclipse Java-prosjekt, går du til Trinn 2.

Trinn 2

Legg merke til at importveiviseren viser alle eksisterende JUnit-testtilfeller i arbeidsområdet som ikke allerede er importert til TPTP. Hvis denne listen er tom, betyr det at det ikke ble funnet noen JUnit-tester i arbeidsområdet, eller at alle eksisterende JUnit-testklasser allerede er importert til TPTP.