Code

In/Out_channel Lin test revision#370

Code

Merged

jmid merged 4 commits intomainocaml-multicore/multicoretests:mainfrom io-lin-revisionocaml-multicore/multicoretests:io-lin-revisionCopy head branch name to clipboardJul 7, 2023

+15-22

Commits

Commits on Jul 6, 2023

• Rename _common Lin module to _spec

  jmid

  committed
  9751996

  Copy full SHA for 9751996

• Add missing Bytes signatures

  jmid

  committed
  a693ec1

  Copy full SHA for a693ec1

• Increase Lin Out_channel iteration count

  jmid

  committed
  e42ca86

  Copy full SHA for e42ca86

• Use bytes_small for shorter counterexample shrinking

  jmid

  committed
  64a4cfc

  Copy full SHA for 64a4cfc