Open nicolas-graves opened 1 year ago
This updates the quickcheck tests for quickcheck version 1.0 with the patch https://github.com/BurntSushi/quickcheck/pull/278 applied.
This updates the quickcheck tests for quickcheck version 1.0 with the patch https://github.com/BurntSushi/quickcheck/pull/278 applied.