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

Output encoding for Java #3344

Open
fabiomadge opened this issue Jan 9, 2023 · 0 comments
Open

Output encoding for Java #3344

fabiomadge opened this issue Jan 9, 2023 · 0 comments
Assignees
@robin-aws
Labels
kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label lang: java Dafny's Java transpiler and its runtime part: code-generation Support for transpiling Dafny to another language. If relevant, add a `lang:` tag

Comments

@fabiomadge
Copy link
Collaborator

fabiomadge commented Jan 9, 2023 •
edited
Loading

Dafny version

master

Code to produce this issue

No response

Command to run and resulting output

No response

What happened?

Setting the Java version to 18 breaks the integration tests on macOS and Windows.

https://github.com/dafny-lang/dafny/actions/runs/3869806689
https://github.com/dafny-lang/dafny/actions/runs/3869843819

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

Windows, 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 lang: java Dafny's Java transpiler and its runtime labels Jan 9, 2023
@fabiomadge fabiomadge mentioned this issue Jan 19, 2023
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@robin-aws robin-aws

Labels
kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label lang: java Dafny's Java transpiler and its runtime 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
2 participants
@fabiomadge @robin-aws