issues
search
input-output-hk
/
quickcheck-dynamic
A library for stateful property-based testing
Apache License 2.0
27
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
No shrinking happening when checking a DL formula
#31
abailly-iohk
opened
1 year ago
20
DevX upgrading from 2.0.0 to latest main is problematic
#30
abailly-iohk
closed
1 year ago
17
Minor issues converting code to 2.0.0
#29
abailly-iohk
closed
1 year ago
11
DL and StateModel improvements
#28
MaximilianAlgehed
closed
1 year ago
9
Pr pr template
#27
MaximilianAlgehed
closed
2 years ago
0
PR template
#26
MaximilianAlgehed
closed
2 years ago
0
Coercive Pattern for EnvEntry
#25
MaximilianAlgehed
closed
2 years ago
6
Bump `io-sim` dependency and fix registry test
#24
MaximilianAlgehed
closed
2 years ago
2
sentence rewording
#23
ThomasArts
closed
2 years ago
0
Update 2022-09-28-introduce-q-d.md
#22
ThomasArts
closed
2 years ago
0
Introductory blog post about q-d library
#21
abailly-iohk
closed
1 year ago
3
Add link to Edsko's blog post
#20
abailly-iohk
closed
2 years ago
1
Feedback from `BadPrecondition` is hard to understand
#19
abailly-iohk
closed
1 year ago
6
Add `Typeable` constraint to `nextState`
#16
edsko
closed
2 years ago
2
Design of an `Assertable` refactoring of `postcondition`
#15
MaximilianAlgehed
closed
2 years ago
0
Refactoring to remove uncontroversial language extensions
#14
MaximilianAlgehed
closed
2 years ago
2
Fourmolu formatting in CI
#13
MaximilianAlgehed
closed
2 years ago
1
Improvements to IOSim compatibility
#12
MaximilianAlgehed
closed
2 years ago
14
Generalize `postcondition`
#11
edsko
closed
2 years ago
29
Add show instance on monitoring
#10
abailly-iohk
closed
2 years ago
2
Add links to 2 papers and fix hackage broken links
#9
abailly-iohk
closed
2 years ago
2
Compare with quickcheck-state-machine?
#8
Bodigrim
closed
2 years ago
1
Links to source code in the README are broken when published on hackage
#7
abailly-iohk
closed
2 years ago
0
Some additional info in README
#6
ThomasArts
closed
2 years ago
0
Make Monadic formulae main interface for writing properties
#5
abailly-iohk
closed
2 years ago
1
State-model compatibility layer to do IOSim models
#4
MaximilianAlgehed
closed
2 years ago
6
Make compatible with ghc-9.2
#3
locallycompact
closed
2 years ago
0
Prepare open sourcing
#2
abailly-iohk
closed
2 years ago
1
Not require Typable s on DynLogicModel
#1
ch1bo
closed
2 years ago
1
Previous