Skip to content

Comments

Quickcheck Gen update. #159

Open
nicolas-graves wants to merge 2 commits intoBurntSushi:masterfrom
nicolas-graves:master
Open

Quickcheck Gen update. #159
nicolas-graves wants to merge 2 commits intoBurntSushi:masterfrom
nicolas-graves:master

Conversation

@nicolas-graves
Copy link

@nicolas-graves nicolas-graves commented May 27, 2023

This is an update of the test when quickcheck 1.0 when the patch BurntSushi/quickcheck#278 is used.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant