Stream: Coq users

Topic: Beginner : printing test cases used by QuickChick

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: Oct 13 2024 at 01:02 UTC