dafny-lang / dafny

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

Chore: Fixed non-deterministic with only one assumed timeout instead of two #5770

Closed MikaelMayer closed 2 months ago

MikaelMayer commented 2 months ago

Fixes #5753

Description

I ensures the flaky test does not test for a single diagnostic but for two, and if there are two the two should be timeouts.

How has this been tested?

No tests can be performed on a flaky test but at least it looks like it should prevent the issue since that issue was diagnosed.

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