Stream: Coq users

Topic: QuickChick binGen'


view this post on Zulip Nicolas Magaud (Oct 16 2023 at 10:12):

Upgrading to Coq 8.18.0, Coq does not find QuickChick parameter bindGen' any more. This parameter is now only in QuickChickInterface.v, which I can not require using a command like "From QuickChick Require Import QuickChickInterface." What am I expected to do to have bindGen' available ?

view this post on Zulip Karl Palmskog (Oct 16 2023 at 10:49):

I think this [lack of bindGen'] is a question for QuickChick developers (cc: @Leonidas Lampropoulos)

Or you could open a QuickChick issue: https://github.com/QuickChick/QuickChick/issues


Last updated: Jun 22 2024 at 16:02 UTC