Issues · QuickChick/QuickChick · GitHub

Labels Milestones New issue

Please pick the version you prefer for Rocq 9.1 in Rocq Platform 2026.05

#430

· Justme0606 opened

on May 6, 2026

QuickChick fails when modules are open with "Error: Unbound value quickchick"

#414

· JasonGross opened

on Aug 13, 2025

Universe Error when Importing QuickChick

#413

· bquiring opened

on Jul 27, 2025

Conjecture on multiple parameters gives shrinkable counterexamples

#397

· ksk opened

on Jan 23, 2025

Non-counterexamples are provided for functions.

#394

· ksk opened

on Nov 17, 2024

`forAllShrinkNonDet` acts no different than `forAllShrink`

#372

· lweqx opened

on Jun 3, 2024

Huge performance degradation with discards and inductive datatype generators

#370

· catalin-hritcu opened

on May 23, 2024

`Sample` fails within a module definition

#369

· ksk opened

on May 10, 2024

`Sample` fails to handle polymorphism and cumulativity

#352

· JasonGross opened

on Jan 23, 2024

`Sample` should ideally be robust to changes in the implicit status of `QuickChick.Generators.sampleGen`

#351

· JasonGross opened

on Jan 23, 2024

Show and Arbitrary for Function Types?

#341

· ana-brendel opened

on Oct 28, 2023

Derive ArbitrarySizedSuchThat doesn't work with unpacking of >2 values

#332

· trilis opened

on Jun 5, 2023