Seguire questa procedura per generare una verifica eseguibile. Prima di poter eseguire una verifica, è necessario generare e compilare il codice di origine Java della verifica. Questo processo viene definito generazione codice.
Prima di poter generare il codice Java della verifica, deve esistere un percorso per memorizzare il codice. Di norma, si tratta di una cartella denominata src situata nello stesso progetto Java della verifica. Se non esiste nessuna cartella denominata src in nessun progetto Java esistente, è necessario crearne una come spiegato nella sezione Creazione di una nuova cartella di origine. Una volta generato il codice di origine Java della verifica, l'IDE Eclipse compila automaticamente il codice di origine in una verifica eseguibile.
Argomento principale>
Verifica delle prestazioni con TPTP