Importar una prueba JUnit existente

Si tiene pruebas JUnit fuera de TPTP, es posible importarlas en una prueba JUnit de TPTP.

Paso 1

Si las pruebas ya están en una proyecto Java de Eclipse existente, vaya al Paso 2.

Paso 2

Tenga en cuenta que el asistente de importación muestra todos los casos de prueba JUnit existentes en el espacio de trabajo que todavía no se han importado a TPTP. Si esta lista está vacía, eso significa que no se han encontrado pruebas JUnit en el espacio de trabajo o que todas las clases de prueba JUnit existentes ya se han importado a TPTP.