SemanticDiff hwlocality
Switch from quickcheck to proptest
#62
Merged

Switch from quickcheck to proptest #62

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

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone