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

qc: rename QuickChick Derive commands to QCDerive

6d21db6
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs