Switch from quickcheck to proptest #62
Start porting the quickchecks to proptest
fea393e2
Oops
3c5b18eb
Converted a bunch of easier quickcheck code to proptest
8118d83d
Forgot some quickcheck -> proptest substitutions
af1b7ab3
Done replacing quickcheck with proptest, still need to fix all the bu…
6201e496
...and now it seems to work
c8a39fb4
Fix CI
6b74b36d
Fix clippy lints
c74ac93f
Fix rustdoc lint
b0d898b7
More lint fixes
71f09a9f
Add extra debug info
21ff0837
Better test cases that will hopefully fix the CI problem
c83020de
Fix problematic cpuset display
f9881cb3
Don't optimize tests, it's too costly in terms of build time
fbb51baa
Fix bug in overlapping CpuSet test
200e6e17
Clean up Arbitrary impls, hopefully fix CI
a7db3476
Fix lints
d363527f
HadrienG2
merged
fe5453ca
into master 338 days ago
HadrienG2
deleted the proptest branch 338 days ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub