Output listing

When requesting program verification, you have the option of producing an output listing. This listing will be the same listing as that produced by a host compile. If you select this option, you must also specify the path and file to contain the listing.