Code

Factor shrink loggers#172

Code

Open

jmid wants to merge 6 commits intoc-cube:mainc-cube/qcheck:mainfrom jmid:factor-shrink-loggersjmid/qcheck:factor-shrink-loggersCopy head branch name to clipboard

+410,707-316

Commits

Commits on Sep 7, 2021

• add shrink logging tests

  jmid

  committed
  4332f4f

  Copy full SHA for 4332f4f

• remove shrink logging from existing tests

  jmid

  committed
  5acee95

  Copy full SHA for 5acee95

• simplify dune logic

  jmid

  committed
  6cf99fd

  Copy full SHA for 6cf99fd

• rename test.ml to a more descriptive name

  jmid

  committed
  80543c3

  Copy full SHA for 80543c3

Commits on Sep 9, 2021

• fix broken ~names

  jmid

  committed
  23b7770

  Copy full SHA for 23b7770

• update expected outputs

  jmid

  committed
  fd43e9c

  Copy full SHA for fd43e9c