Repository navigation

Omit tests of Weak.get_copy - #586

Merged

jmid merged 2 commits into

mainfrom

weak-get_copy-adjust

Oct 11, 2026

Merged

Omit tests of Weak.get_copy#586
jmid merged 2 commits into
mainfrom
weak-get_copy-adjust

Commits on Oct 11, 2026
- Omit Weak.get_copy from tests in src/weak/lin_tests.ml
  jmid
  committed
  c0023cd
- Omit Weak.get_copy from tests in src/weak/stm_tests_weak_spec.ml
  jmid
  committed
  c423f3b