search

dafny-lang / dafny

Dafny is a verification-aware programming language
https://dafny.org
Other
2.82k stars 253 forks source link

Improve stability of RedundantAssumptionsGetWarnings #5457

Closed keyboardDrummer closed 1 week ago

keyboardDrummer commented 2 weeks ago

Improve stability of RedundantAssumptionsGetWarnings

Unstable run: https://github.com/dafny-lang/dafny/actions/runs/9115765900/job/25062859359?pr=5444

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.