hwlocality
Switch from quickcheck to proptest
#62
Merged
Merged
Commits
17 commit(s)-
Start porting the quickchecks to proptestHadrienG2 committed on 2023-10-15 17:08
-
OopsHadrienG2 committed on 2023-10-15 17:09
-
Converted a bunch of easier quickcheck code to proptestHadrienG2 committed on 2023-10-16 05:49
-
Forgot some quickcheck -> proptest substitutionsHadrienG2 committed on 2023-10-16 06:35
-
Done replacing quickcheck with proptest, still need to fix all the build errors...HadrienG2 committed on 2023-10-16 16:42
-
...and now it seems to workHadrienG2 committed on 2023-10-16 19:53
-
Fix CIHadrienG2 committed on 2023-10-16 19:55
-
Fix clippy lintsHadrienG2 committed on 2023-10-17 04:09
-
Fix rustdoc lintHadrienG2 committed on 2023-10-17 04:12
-
More lint fixesHadrienG2 committed on 2023-10-17 04:20
-
Add extra debug infoHadrienG2 committed on 2023-10-17 04:35
-
Better test cases that will hopefully fix the CI problemHadrienG2 committed on 2023-10-17 05:05
-
Fix problematic cpuset displayHadrienG2 committed on 2023-10-17 05:37
-
Don't optimize tests, it's too costly in terms of build timeHadrienG2 committed on 2023-10-17 05:55
-
Fix bug in overlapping CpuSet testHadrienG2 committed on 2023-10-17 05:55
-
Clean up Arbitrary impls, hopefully fix CIHadrienG2 committed on 2023-10-17 08:04
-
Fix lintsHadrienG2 committed on 2023-10-17 08:12
Loading