issues
search
rudymatela
/
leancheck
enumerative property-based testing for Haskell
https://hackage.haskell.org/package/leancheck
Other
52
stars
8
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
remove CI hack
#23
rudymatela
closed
1 year ago
0
please add instance Listable Numeric.Natural
#22
jwaldmann
opened
1 year ago
1
instance Listable Data.Void.Void
#21
jwaldmann
closed
1 year ago
1
CI: test with GHC 9.2
#20
wolverian
closed
1 year ago
6
"(exhausted)" is printed late?
#19
jwaldmann
closed
1 year ago
1
Define `resultsWithErrors` and such, with `Either String ()` rather than mere `Bool`.
#18
strake
closed
1 year ago
1
possible memory leak
#17
bfrk
closed
4 years ago
2
expose the Monad instance for the return type of tiers
#16
bfrk
opened
4 years ago
2
Document limitation: intense memory use
#15
JonasDuregard
closed
4 years ago
20
fairer enumerations?
#14
jwaldmann
opened
5 years ago
4
how to find out what test failed?
#13
jwaldmann
closed
5 years ago
2
genericTiers is broken for recursive types (missing addWeight somewhere?)
#12
jwaldmann
closed
5 years ago
3
doc/tutorial: add hedgehog
#11
moodmosaic
closed
5 years ago
1
haddock: remove trailing punctuation marks
#10
moodmosaic
closed
5 years ago
0
Tutorial: Insufficient properties for correct sort implementation
#9
csternagel
closed
5 years ago
1
Please add Changelog
#8
jwaldmann
closed
5 years ago
2
Two test.hs files
#7
arianvp
closed
5 years ago
2
Add mapCons or mapsOf (or something similar).
#6
rudymatela
closed
6 years ago
1
Make the check* family of functions exit as soon as a counterexample is found
#5
rudymatela
closed
6 years ago
1
Small counterexample found by Hedgehog but not by LeanCheck
#4
barrucadu
closed
6 years ago
5
Markdown is bad and it should feel bad.
#3
jmct
closed
7 years ago
1
Export resultiers alongside Testable
#2
robrix
closed
7 years ago
2
Restructure library to be more consistent with existing solution
#1
Taneb
closed
8 years ago
1