16. 16. Full list of legacy command-line options {#sec-full-command-line-options}

For the on-line version only, the output of dafny -? follows. Note that with the advent of dafny commands, many options are only applicable to some (if any) commands, some are renamed, and some are obsolete and will eventually be removed. {% include_relative Options.txt %}