Code

Improve failure message#202

Code

Merged

n-osborne merged 7 commits intoocaml-gospel:mainocaml-gospel/ortac:mainfrom n-osborne:failure-messagen-osborne/ortac:failure-messageCopy head branch name to clipboardMar 14, 2024

+4,357-1,839

Commits

Commits on Mar 13, 2024

• Extract and expose term printer

  n-osborne

  committed
  9a95d5e

  Copy full SHA for 9a95d5e

Commits on Mar 14, 2024

• Expose list_fold_expr and some other useful builders

  Show description for 3b7d80d
  n-osborne

  committed
  3b7d80d

  Copy full SHA for 3b7d80d

• Modify term's intermediate representation

  Show description for 968f8fc
  n-osborne

  committed
  968f8fc

  Copy full SHA for 968f8fc

• Collect textual representation of terms in ir

  n-osborne

  committed
  1782a0f

  Copy full SHA for 1782a0f

• Add a runtime for qcheck-stm

  Show description for 43380d9
  n-osborne

  committed
  43380d9

  Copy full SHA for 43380d9

• Make postcond return the reason of failure rather than a bool

  Show description for 685fcc6
  n-osborne

  committed
  685fcc6

  Copy full SHA for 685fcc6

• Update Changelog

  n-osborne

  committed
  1cfa3e1

  Copy full SHA for 1cfa3e1