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

Check all tests with --function-syntax:4 as the default well before Dafny 4 release #3459

Closed
davidcok opened this issue Feb 4, 2023 · 1 comment
Closed

Check all tests with --function-syntax:4 as the default well before Dafny 4 release #3459

davidcok opened this issue Feb 4, 2023 · 1 comment
Assignees
@davidcok
Labels
kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label run-deep-tests Tells CI to run all tests
Milestone
Dafny 4.0

Comments

@davidcok
Copy link
Collaborator

davidcok commented Feb 4, 2023

Dafny version

3.11.0

Code to produce this issue

No response

Command to run and resulting output

No response

What happened?

I expect tests to break. But we need to check.

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

Mac
@davidcok davidcok added the kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label label Feb 4, 2023
@davidcok davidcok added this to the Dafny 4.0 milestone Feb 4, 2023
@davidcok davidcok added the run-deep-tests Tells CI to run all tests label Feb 6, 2023
@davidcok davidcok mentioned this issue Feb 6, 2023
Closed
@robin-aws
Copy link
Member

All tests passing on main-4.0!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@davidcok davidcok

Labels
kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label run-deep-tests Tells CI to run all tests
Projects
None yet
Milestone
Dafny 4.0
Development

Successfully merging a pull request may close this issue.

Pre-test of Dafny 4 davidcok/dafny
2 participants
@davidcok @robin-aws