dafny icon indicating copy to clipboard operation
dafny copied to clipboard

Published 20 hours ago • verified publisher icon dafny-lang

Unstable test NoExtraThreadAfterEachChange

Open keyboardDrummer opened this issue 2 months ago • 1 comments

https://github.com/dafny-lang/dafny/actions/runs/8909099093/job/24465880216?pr=5359

[xUnit.net 00:12:47.72]         --- End of stack trace from previous location ---
  Failed Microsoft.Dafny.LanguageServer.IntegrationTest.Performance.ThreadUsageTest.NoExtraThreadAfterEachChange [11 s]
  Error Message:
   Assert.InRange() Failure
Range:  (-5 - 5)
Actual: -9
  Stack Trace:
     at Microsoft.Dafny.LanguageServer.IntegrationTest.Performance.ThreadUsageTest.NoExtraThreadAfterEachChange() in /Users/runner/work/dafny/dafny/dafny/Source/DafnyLanguageServer.Test/Performance/ThreadUsageTest.cs:line 40
--- End of stack trace from previous location ---

keyboardDrummer avatar May 01 '24 12:05 keyboardDrummer