I percorsi delle verifiche identificano il computer in cui la verifica verrā eseguita.
Ripetere la stessa sequenza di istruzioni per la creazione di una distribuzione, ma per questo esempio creare un percorso chiamato testLocation.
Se si desidera eseguire verifiche su un altro computer, immettere il nome di tale computer nel campo Nome host del percorso.
Quando una verifica TPTP JUnit viene distribuita in remoto, č necessario considerare alcuni aspetti della verifica. Tali considerazioni sono riportate nella documentazione relativa alle verifiche TPTP JUnit.
Argomenti correlati
Editor risorse - panoramica
Editor di distribuzione - panoramica
Editor di percorso - panoramica
Attivitā correlate
Creazione di una distribuzione
Creazione di una risorsa
Creazione di una coppia risorsa percorso