issues
search
leepike
/
SmartCheck
A Smarter QuickCheck
BSD 3-Clause "New" or "Revised" License
102
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
fix #9 missing SubTypes instance
#14
kwibus
opened
7 years ago
0
Wrong generalization for the overflow example (PaperExample1)
#13
rudymatela
opened
7 years ago
0
Counter-example too general (includes incorrect counter-examples)
#12
rudymatela
opened
7 years ago
0
Only activate existential sub-value generalization when there is more than one constructor
#11
rudymatela
opened
7 years ago
0
Bug/regression: no counter-example for `\xs -> nub xs == (xs :: [Int])`
#10
rudymatela
closed
7 years ago
3
SmartCheck not compiling with GHC 8.0.2 or QuickCheck 2.10.*
#9
rudymatela
closed
7 years ago
3
README: Small changes and corrections
#8
markus1189
closed
8 years ago
1
SmartCheck fails to compile against QuickCheck 2.8
#7
gridaphobe
closed
9 years ago
1
Support custom QuickCheck generators
#6
gridaphobe
opened
9 years ago
1
Bug in SmartCheck pretty printer
#5
rudymatela
closed
10 years ago
5
fix small typo in readme
#4
tavisrudd
closed
10 years ago
1
Upload to Hackage
#3
mkscrg
closed
11 years ago
2
Shrinking base types
#2
leepike
opened
11 years ago
0
Results of proof reading.
#1
sw17ch
closed
12 years ago
1