Skip to content

Make QCheck2.state.res immutable#291

Merged
jmid merged 2 commits intoc-cube:mainfrom
jmid:qcheck2-state-res-warning
Jul 4, 2024
Merged

Make QCheck2.state.res immutable#291
jmid merged 2 commits intoc-cube:mainfrom
jmid:qcheck2-state-res-warning

Commits

Commits on Jul 4, 2024