dafny-lang / dafny

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

Chore: Use of concurrentbag instead of list for LSP trees #5745

Closed MikaelMayer closed 2 months ago

MikaelMayer commented 2 months ago

Previously, we used list for the children of a verification tree. However, processes might concurrently add to this list and try to make a copy of it, which sometimes triggered issues. By switching to a concurrentbag, these issues should go away. The list of children is not ordered anyway. Fixes #5744

Description

Not visible by users

How has this been tested?

CI will test that change.

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