Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Dafny crashes with empty command-line argument #3549

Closed
davidcok opened this issue Feb 15, 2023 · 0 comments · Fixed by #3899
Closed

Dafny crashes with empty command-line argument #3549

davidcok opened this issue Feb 15, 2023 · 0 comments · Fixed by #3899
Assignees
@davidcok
Labels
crash Dafny crashes on this input, or generates malformed code that can not be executed kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label part: CLI interacting with Dafny on the command line

Comments

@davidcok
Copy link
Collaborator

davidcok commented Feb 15, 2023 •
edited
Loading

Dafny version

3.11.-0 + dev

Code to produce this issue

No response

Command to run and resulting output

dafny ""
dafny resolve ""

Edit 3/20: The second case has been fixed by some PR, but the first still crashes.

What happened?

Crashed. Either just skip empty arguments or, preferably, have a pretty error message.

What type of operating system are you experiencing the problem on?

Mac
@davidcok davidcok added kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label crash Dafny crashes on this input, or generates malformed code that can not be executed labels Feb 15, 2023
@alex-chew alex-chew added the part: CLI interacting with Dafny on the command line label Feb 15, 2023
@davidcok davidcok self-assigned this Apr 22, 2023
@davidcok davidcok mentioned this issue Apr 22, 2023
Merged
davidcok added a commit that referenced this issue May 22, 2023
@davidcok
Avoiding a crash on empty input filename - Issue #3549 (#3899)
7188192 
Fixes #3549

<small>By submitting this pull request, I confirm that my contribution
is made under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>

Co-authored-by: davidcok <davidcok@github.com>
@ZhongRuoyu ZhongRuoyu mentioned this issue Jul 20, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@davidcok davidcok

Labels
crash Dafny crashes on this input, or generates malformed code that can not be executed kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label part: CLI interacting with Dafny on the command line
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Avoiding a crash on empty input filename - Issue #3549 davidcok/dafny
2 participants
@davidcok @alex-chew