Issues

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

  bugenhancement
  QuickChick/QuickChick#414 · Filter by author JasonGross opened on Aug 13, 2025
  1

• Universe Error when Importing QuickChick

  universes
  QuickChick/QuickChick#413 · Filter by author bquiring opened on Jul 27, 2025
  5

• Conjecture on multiple parameters gives shrinkable counterexamples

  enhancement
  QuickChick/QuickChick#397 · Filter by author ksk opened on Jan 23, 2025
  1

• Non-counterexamples are provided for functions.

  bug
  QuickChick/QuickChick#394 · Filter by author ksk opened on Nov 17, 2024
  2

• forAllShrinkNonDet acts no different than forAllShrink

  QuickChick/QuickChick#372 · Filter by author lweqx opened on Jun 3, 2024
  2

  

• Huge performance degradation with discards and inductive datatype generators

  QuickChick/QuickChick#370 · Filter by author catalin-hritcu opened on May 23, 2024
  4

  

• Sample fails within a module definition

  bug
  QuickChick/QuickChick#369 · Filter by author ksk opened on May 10, 2024
  1

• Sample fails to handle polymorphism and cumulativity

  QuickChick/QuickChick#352 · Filter by author JasonGross opened on Jan 23, 2024
  1

  

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

  QuickChick/QuickChick#351 · Filter by author JasonGross opened on Jan 23, 2024
  1

• Show and Arbitrary for Function Types?

  QuickChick/QuickChick#341 · Filter by author ana-brendel opened on Oct 28, 2023
  1

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

  part:derive
  QuickChick/QuickChick#332 · Filter by author trilis opened on Jun 5, 2023

• Fix tests

  QuickChick/QuickChick#321 · Filter by author Lysxia opened on Mar 6, 2023
  1

• Derive not unfolding definitions enough

  part:derive
  QuickChick/QuickChick#311 · Filter by author Xiving opened on Nov 18, 2022
  3

• Using QuickChick Inside OCaml As A Library

  question
  QuickChick/QuickChick#309 · Filter by author alpaylan opened on Oct 26, 2022

• Specify a directory for extracted sources other than /tmp

  enhancement
  QuickChick/QuickChick#303 · Filter by author jubnzv opened on Aug 15, 2022
  3

• Can't check conjecture, error says "pattern matching failed"

  part:derive
  QuickChick/QuickChick#301 · Filter by author huynhtrankhanh opened on Aug 11, 2022
  2

• Document that Z is extracted to either int or bigint depending on Coq version

  QuickChick/QuickChick#294 · Filter by author anton-trunov opened on Jul 6, 2022
  1

• Extract Constant defNumShrinks not working

  bug
  QuickChick/QuickChick#293 · Filter by author Durbatuluk1701 opened on Jun 29, 2022
  1

• Derive ArbitrarySizedSuchThat failure

  part:derive
  QuickChick/QuickChick#290 · Filter by author liyishuai opened on Jun 1, 2022

• Derive for inductive types with non-type parameters

  enhancementpart:derive
  QuickChick/QuickChick#286 · Filter by author annenkov opened on May 11, 2022
  1

• Derive fails for records and variants

  duplicatepart:derive
  QuickChick/QuickChick#285 · Filter by author annenkov opened on May 11, 2022
  1

• Do we need ocamlbuild?

  enhancementquestion
  QuickChick/QuickChick#282 · Filter by author Lysxia opened on Apr 8, 2022

• QuickChick and ocamlbuild for nix

  QuickChick/QuickChick#278 · Filter by author Chobbes opened on Mar 27, 2022
  3

• FuzzChick status

  QuickChick/QuickChick#277 · Filter by author volodeyka opened on Mar 21, 2022
  2

• Warn when calling make with OCaml/Coq versions different from versions used for make compat

  enhancementinfra
  QuickChick/QuickChick#276 · Filter by author Lysxia opened on Mar 4, 2022