Elenco di emissione

Quando viene richiesta una verifica di programma, si ha la possibilità di produrre un elenco di emissione. Questo elenco sarà lo stesso fornito dal compilatore host. Se si seleziona questa opzione, si deve inoltre specificare il percorso e il file contenente l'elenco.