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

Remove /countVerificationErrors (deprecated for some time) once and for all #3165

Closed
davidcok opened this issue Dec 9, 2022 · 0 comments · Fixed by #3634
Closed

Remove /countVerificationErrors (deprecated for some time) once and for all #3165

davidcok opened this issue Dec 9, 2022 · 0 comments · Fixed by #3634
Assignees
@alex-chew
Labels
kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
Milestone
Dafny 4.0

Comments

@davidcok
Copy link
Collaborator

davidcok commented Dec 9, 2022

Summary

Remove the option /countVerificationErrors

Background and Motivation

/countVerificationErrors was used primarily in tests and has been deprecated for users. With PR#3160, it is no longer needed for tests. It should be removed. It already is no longer in documentation.

Proposed Feature

A negative feature: Remove the option /countVerificationErrors

Alternatives

No response
@davidcok davidcok added the kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny label Dec 9, 2022
@davidcok davidcok added this to the Dafny 4.0 milestone Dec 9, 2022
@alex-chew alex-chew self-assigned this Jan 24, 2023
@alex-chew alex-chew mentioned this issue Feb 24, 2023
Merged
alex-chew added a commit that referenced this issue Feb 27, 2023
@alex-chew
Remove obsolete countVerificationErrors option (#3634)
fb88ca7 
Fixes #3165
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@alex-chew alex-chew

Labels
kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
Projects
None yet
Milestone
Dafny 4.0
Development

Successfully merging a pull request may close this issue.

Remove obsolete countVerificationErrors option alex-chew/dafny
3 participants
@davidcok @alex-chew @robin-aws