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

Crash compiling to Python when using --standard-libraries and --include-runtime #5942

Open
fabiomadge opened this issue Nov 28, 2024 · 0 comments
Open

Crash compiling to Python when using --standard-libraries and --include-runtime #5942

fabiomadge opened this issue Nov 28, 2024 · 0 comments
Labels
crash Dafny crashes on this input, or generates malformed code that can not be executed during 2: compilation of correct program Dafny rejects a valid program during compilation kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label lang: python Dafny's Python transpiler and its runtime part: CLI interacting with Dafny on the command line part: code-generation Support for transpiling Dafny to another language. If relevant, add a `lang:` tag

Comments

@fabiomadge
Copy link
Collaborator

Dafny version

master

Code to produce this issue

No response

Command to run and resulting output

dafny translate py Any.dfy --standard-libraries --include-runtime

What happened?

This should create a folder not crash.

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

Mac
@fabiomadge fabiomadge added kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label part: code-generation Support for transpiling Dafny to another language. If relevant, add a `lang:` tag crash Dafny crashes on this input, or generates malformed code that can not be executed lang: python Dafny's Python transpiler and its runtime part: CLI interacting with Dafny on the command line during 2: compilation of correct program Dafny rejects a valid program during compilation labels Nov 28, 2024
@fabiomadge fabiomadge changed the title Crash when compiling to Python when using --standard-libraries and --include-runtime Crash compiling to Python when using --standard-libraries and --include-runtime Nov 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
crash Dafny crashes on this input, or generates malformed code that can not be executed during 2: compilation of correct program Dafny rejects a valid program during compilation kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label lang: python Dafny's Python transpiler and its runtime part: CLI interacting with Dafny on the command line part: code-generation Support for transpiling Dafny to another language. If relevant, add a `lang:` tag
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@fabiomadge