Per distribuire una verifica di plugin JUnit, generalmente è necessario creare e configurare un percorso del workbench. Se la distribuzione è locale, viene selezionata automaticamente una distribuzione predefinita, Distribuzione sul workbench locale nella finestra Esecuzione, se è selezionata la verifica di plugin TPTP JUnit.
Nota: la distribuzione predefinita Distribuzione sul workbench non fornisce, ad esempio, il riutilizzo dell'istanza, il workbench indipendente, né esegue verifiche nel thread UI. Per ottenere queste ed altre funzioni, è necessario impostare un percorso del workbench specifico.
Attività correlate
Creazione di una distribuzione
Creazione di un percorso del workbench