Code

Add Lin_domain.stress_test#443

Code

Merged

jmid merged 16 commits intomainocaml-multicore/multicoretests:mainfrom lin-stress-modeocaml-multicore/multicoretests:lin-stress-modeCopy head branch name to clipboardMar 20, 2024

+173-11

Commits

Commits on Mar 19, 2024

• Initial version of stress_{prop,test}

  jmid

  committed
  cd7ecf9

  Copy full SHA for cd7ecf9

• Refactor lin_domain properties to avoid copy-paste

  jmid

  committed
  040afac

  Copy full SHA for 040afac

• Adjust Lin_domain.stress_test count

  jmid

  committed
  112b270

  Copy full SHA for 112b270

• Add Lin don't crash test for Array

  jmid

  committed
  b6cb63d

  Copy full SHA for b6cb63d

• Add Lin don't crash test for Bigarray

  jmid

  committed
  575995d

  Copy full SHA for 575995d

• Add Lin don't crash test for Dynlink

  jmid

  committed
  b5b9e3f

  Copy full SHA for b5b9e3f

• Add Lin don't crash test for Float.Array

  jmid

  committed
  01bf56f

  Copy full SHA for 01bf56f

• Add Lin don't crash test for Hashtbl

  jmid

  committed
  06ce8d1

  Copy full SHA for 06ce8d1

• Add Lin don't crash test for Lazy

  jmid

  committed
  40b748b

  Copy full SHA for 40b748b

• Add Lin don't crash test for Queue

  jmid

  committed
  92d9c58

  Copy full SHA for 92d9c58

• Add Lin don't crash test for Stack

  jmid

  committed
  b3201a0

  Copy full SHA for b3201a0

• Add Lin don't crash test for Ephemeron

  jmid

  committed
  9686c90

  Copy full SHA for 9686c90

• Add Lin don't crash test for In_channel

  jmid

  committed
  6b6cb2a

  Copy full SHA for 6b6cb2a

• Add Lin don't crash test for Weak

  jmid

  committed
  e12b56e

  Copy full SHA for e12b56e

• Add stress tests to src/README.md overview

  jmid

  committed
  88a765e

  Copy full SHA for 88a765e

• Add a CHANGES entry

  jmid

  committed
  72c3025

  Copy full SHA for 72c3025