5.34.25 Arguments

-file filename

Name of the HDL file you want to check.