Code

Out of resources error reporting#5281

Code

Merged

keyboardDrummer merged 8 commits intodafny-lang:masterdafny-lang/dafny:masterfrom keyboardDrummer:outOfResourcesDebuggingkeyboardDrummer/dafny:outOfResourcesDebuggingCopy head branch name to clipboardApr 2, 2024

+79-22

Commits

Commits on Apr 1, 2024

• Add test and update --progress behavior to include an outcome

  keyboardDrummer

  committed
  3b44de2

  Copy full SHA for 3b44de2

• Make reported token when verification runs out of resources, more precise

  keyboardDrummer

  committed
  ba83e0a

  Copy full SHA for ba83e0a

• Fixes

  keyboardDrummer

  committed
  fe70c24

  Copy full SHA for fe70c24

• Add release note

  keyboardDrummer

  committed
  a05f0f7

  Copy full SHA for a05f0f7

• Merge branch 'master' into outOfResourcesDebugging

  keyboardDrummer

  authored
  e162a36

  Copy full SHA for e162a36

• Fix test instability

  keyboardDrummer

  committed
  1b16f7c

  Copy full SHA for 1b16f7c

• Update docs/dev/news/5281.feat

  Show description for 72a053d
  

  keyboardDrummer

  and

  MikaelMayer

  authored
  72a053d

  Copy full SHA for 72a053d

Commits on Apr 2, 2024

• Merge branch 'master' into outOfResourcesDebugging

  keyboardDrummer

  authored
  3763e00

  Copy full SHA for 3763e00