issues
search
Bogdanp
/
rackcheck
A property-based testing library for Racket.
28
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
A Potential Bug in the usage of Random Function
#14
alpaylan
closed
4 months ago
1
Introduce a gen:hash alternative for mappings
#13
priime0
opened
4 months ago
3
Raco complains about missing `rackcheck/main.rkt`
#12
Warbo
closed
4 months ago
1
Typing
#11
Lazerbeak12345
opened
1 year ago
6
Split into rackcheck-lib and rackcheck - fix #8
#10
lemastero
closed
2 years ago
3
Expose prop-name as property-name
#9
lemastero
closed
2 years ago
2
Modular package
#8
lemastero
closed
2 years ago
2
Change shrinking algorithm from flat streams to lazy trees.
#7
laelath
closed
2 years ago
9
Add support for dynamic property naming
#6
laelath
closed
2 years ago
1
Streams aren't a general enough abstraction for efficient shrinking
#5
laelath
closed
2 years ago
9
Fix #3
#4
laelath
closed
2 years ago
1
Specifying custom size function causes contract error
#3
laelath
closed
2 years ago
0
Stream fixes
#2
Bogdanp
closed
3 years ago
0
gen:integer-in with lo = hi
#1
yiyunliu
closed
3 years ago
1