Dati di input per il controllo deterministico

Il file esterno di input per il passo di check deve essere scelto tramite l'apposita maschera. Una volta selezionato con "apri" o cliccando due volte sul nome del file scelto, viene generato nella cartella di progetto il file tabgran.prm che contiene il nome dei file che saranno utilizzati nel passo di check

I record devono essere di lunghezza fissa.