dafny icon indicating copy to clipboard operation
dafny copied to clipboard

Published 20 hours ago • verified publisher icon dafny-lang

Unstable test QuickEditsInLargeFile

Open keyboardDrummer opened this issue 3 months ago • 1 comments

https://github.com/dafny-lang/dafny/actions/runs/8571621530/job/23492819569?pr=5301

[xUnit.net 00:09:30.53]         lowest division 0.7067082821128992
  Failed Microsoft.Dafny.LanguageServer.IntegrationTest.Performance.LargeFilesTest.QuickEditsInLargeFile [2 m 6 s]
  Error Message:
   averageTimeToSchedule: 129.15138775510204
Expected: True
Actual:   False
  Stack Trace:
     at Microsoft.Dafny.LanguageServer.IntegrationTest.Performance.LargeFilesTest.QuickEditsInLargeFile() in /Users/runner/work/dafny/dafny/dafny/Source/DafnyLanguageServer.Test/Performance/LargeFilesTest.cs:line 92
--- End of stack trace from previous location ---
  Standard Output Messages:
 lowest division 0.7067082821128992

keyboardDrummer avatar Apr 05 '24 17:04 keyboardDrummer