input-output-hk

input-output-hk/quickcheck-dynamic

A library for stateful property-based testing

Stars: 35
Forks: 10
Open beginner issues: 0
Indexed issues: 7

Dominant language: Haskell
License: Apache-2.0
Last GitHub push: May 4, 2026
Latest indexed: Sep 17, 2026
Contributing guide: Contributing guide
Code of conduct: Code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Open All

7 open issues indexed

No shrinking happening when checking a DL formula Open

input-output-hk/quickcheck-dynamic#31 · 20 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Hide internals of `StateModel` module Open

input-output-hk/quickcheck-dynamic#59 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Make dependent actions shrink Open

input-output-hk/quickcheck-dynamic#62 · 2 comments · 1 reaction · 0 assignees · Indexed Sep 17, 2026
Difference between forAllQ and forAllNonVariableQ? Open

input-output-hk/quickcheck-dynamic#66 · 8 comments · 1 reaction · 0 assignees · Indexed Sep 17, 2026
`forAllDL` does not keep track of `Action`s rejected by `precondition` Open

input-output-hk/quickcheck-dynamic#81 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
`forAllDL` and similar functions do return `Property` but not `PropertyM` Open

input-output-hk/quickcheck-dynamic#82 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Cache `setup-haskell` in CI Open

input-output-hk/quickcheck-dynamic#97 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026

A short digest of beginner-friendly GitHub issues.