Skip to content

Omit tests of Weak.get_copy - #586

Merged
jmid merged 2 commits into
mainfrom
weak-get_copy-adjust
Oct 11, 2026
Merged

jmid merged 2 commits into
mainfrom
weak-get_copy-adjust

Omit Weak.get_copy from tests in src/weak/stm_tests_weak_spec.ml

c423f3b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar