Code

Add command shrinker function#272

Code

Open

nikolaushuber wants to merge 3 commits intoocaml-gospel:mainocaml-gospel/ortac:mainfrom nikolaushuber:cmd-shrinkernikolaushuber/ortac:cmd-shrinkerCopy head branch name to clipboard

+1,996-1,649

Commits

Commits on Nov 1, 2024

• Add support for custom shrinkers

  nikolaushuber

  committed
  dfac37d

  Copy full SHA for dfac37d

Commits on Nov 4, 2024

• Add cmd shrinker function

  nikolaushuber

  committed
  8c50ae7

  Copy full SHA for 8c50ae7

• Update changelog

  nikolaushuber

  committed
  6797b4d

  Copy full SHA for 6797b4d