Skip to content

qc: rename QuickChick Derive commands to QCDerive (not backwards compatible; required for QuickChick master) - #23

Open
JasonGross wants to merge 1 commit into
DeepSpec:masterfrom
JasonGross:fix-qc-qcderive
Open

qc: rename QuickChick Derive commands to QCDerive (not backwards compatible; required for QuickChick master)#23
JasonGross wants to merge 1 commit into
DeepSpec:masterfrom
JasonGross:fix-qc-qcderive

Commits

Commits on Jul 16, 2026