Skip to content

Crash when using /warnDeadCode #2766

New issue
New issue
Open
Open
Crash when using /warnDeadCode#2766
Labels
crashDafny crashes on this input, or generates malformed code that can not be executeddifficulty: hardIssues that will take more than a week to fix
@davidcok

Description

@davidcok
davidcok
opened on Sep 20, 2022

This code (note the typo)

module DD {

  method M(i" int)
  {
  }
}

crashes when run with dafny /warnDeadCode DD.dfy; without the option, the syntax error is correctly reported

Metadata

Metadata

Assignees

No one assigned

    Labels

    crashDafny crashes on this input, or generates malformed code that can not be executeddifficulty: hardIssues that will take more than a week to fix

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions