Per eseguire una verifica, vi sono diverse opzioni disponibili:
Č possibile fare clic con il tasto destro del mouse in Esplora verifica e selezionare Esegui come > Esegui o Esegui come > Verifica. Se viene scelta la seconda opzione, TPTP eseguirā automaticamente la verifica selezionata senza richiamare la finestra Configurazione di avvio.
Se viene selezionata la prima opzione, verrā visualizzata la finestra Configurazione di avvio in cui l'utente potrā configurare diverse proprietā. La finestra viene visualizzata anche aprendo il menu Esegui... senza selezionare una verifica con il tasto destro del mouse. In entrambi i casi, viene visualizzata la finestra Esecuzione (finestra della configurazione di avvio).
Se non esiste alcuna configurazione per l'esecuzione, procedere come segue:
Scegliere Applica per salvare le modifiche. Per salvare le modifiche e avviare la verifica č possibile scegliere Esegui. La verifica TPTP verrā quindi eseguita.
La scheda Verifica contiene due riquadri: Selezionare una verifica da eseguire e Selezionare una distribuzione. Nel riquadro Selezionare una verifica da eseguire, individuare la verifica che si desidera eseguire. Il riquadro Selezionare una distribuzione, contiene la distribuzione locale e tutte le distribuzioni create. Per eseguire una verifica č necessario selezionare una distribuzione.
Nella scheda Log di verifica č possibile sovrascrivere i log predefiniti.
Per informazioni sulla scheda Comune, leggere la sezione Proprietā generiche della configurazione di avvio.
Argomenti correlati
Editor di distribuzione - panoramica
Riferimenti correlati
Proprietā generiche della configurazione di avvio
(C) Copyright Scapa Technologies 2000, 2005. Tutti i diritti riservati.