Dafny 4.0 suggestion: Compiled Dafny programs should accept command-line arguments, return an exit code #1116
Labels
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
Compiled Dafny programs should accept command-line arguments. To do so, the allowed Main methods should be permitted to take a string[] argument.
The text was updated successfully, but these errors were encountered: