Skip to content

Issues: c-cube/qcheck

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

49 Open 98 Closed
49 Open 98 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Documentation - role of Gen.t vs. arbitrary
#281 opened Jul 13, 2023 by lindig
3
Less exhaustive string shrinking
#278 opened May 1, 2023 by jmid
7
Switch to ocaml-ci
#276 opened May 1, 2023 by jmid
missing usage with dune
#270 opened Jan 18, 2023 by mimoo
5
ppx_deriving_qcheck cannot derive a generator from a recursive type declaration with containers
#269 opened Jan 8, 2023 by Invizory
4
Non-minimal list counter examples
#268 opened Nov 30, 2022 by jmid
2
Add opam package descriptions good-first-issue Issue suitable for a new contributor
#267 opened Nov 16, 2022 by jmid
Add warning to Gen.generate* functions
#266 opened Nov 10, 2022 by jmid
custom stopping criteria for tests
#256 opened Jul 22, 2022 by ghilesZ
1
Missing QCheck.Shrink.bool good-first-issue Issue suitable for a new contributor
#251 opened Jul 6, 2022 by jmid
1
Share some code between QCheck and QCheck2
#246 opened Jun 10, 2022 by vch9
Add range_subset, pos_split2, nat_split2, pos_split, nat_split to QCheck2
#238 opened Apr 19, 2022 by jmid
Consider having corner cases by default
#231 opened Mar 11, 2022 by vch9
1
QCheck2: how to build a generator with a custom shrinker?
#222 opened Jan 14, 2022 by vch9
document shrink invariants for qcheck1 documentation
#219 opened Jan 6, 2022 by c-cube
Coverage with bisect_ppx
#205 opened Dec 3, 2021 by vch9
1
2
Is _opt_map_n relevant for printers ?
#204 opened Dec 3, 2021 by vch9
3
Deriver: remove merlin.hide for derived generators
#199 opened Nov 8, 2021 by vch9
1
Deriver: derive shrinkers
#191 opened Oct 11, 2021 by vch9
5
Deriver: deriver in interface files
#189 opened Oct 11, 2021 by vch9
Document how to contribute QCheck/QCheck2
#186 opened Sep 23, 2021 by vch9
Deprecated Gen.small_int changed distribution not-actually-an-issue
#184 opened Sep 22, 2021 by jmid
0.18 max_fail regression
#182 opened Sep 22, 2021 by jmid
1
Alternatively use afl-fuzzing
#170 opened Sep 1, 2021 by vch9
7
Sub-optimal QCheck2 function shrinkers
#163 opened Aug 18, 2021 by jmid
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.