Importazione di una verifica JUnit esistente

Se si dispone di verifiche JUnit esterne a TPTP, č possibile importarle in una verifica TPTP JUnit.

Punto 1

Se le verifiche si trovano giā in un progetto Java Eclipse esistente, passare al Punto 2.

Punto 2

Tenere presente che la procedura guidata Importazione mostra tutti i casi di prova JUnit esistenti nello spazio di lavoro non ancora importati in TPTP. Se questo elenco č vuoto, significa che non sono state trovate verifiche JUnit nello spazio di lavoro o che tutte le classi di verifica JUnit esistenti sono giā state importate in TPTP.