Stream: Coq users

Topic: Beginner : printing test cases used by QuickChick


view this post on Zulip Aishwarya (Feb 04 2021 at 16:29):

Hi Everyone,
Is there a way in QuickChick for Coq to print the results and all test cases used to test the property to stdout?
I tried using collect, but that prints only a few sample test cases.


Last updated: Jan 27 2023 at 02:04 UTC