Stream: VsCoq devs & users

Topic: QuickChick

view this post on Zulip Bas Spitters (Jan 02 2023 at 12:53):

Quickchick sends its output to the Info tab. Is this an unconventional choice of QC, or a vscoq issue?
https://github.com/QuickChick/QuickChick/issues/267

view this post on Zulip Ali Caglayan (Jan 02 2023 at 16:41):

https://coq.zulipchat.com/#narrow/stream/237662-VsCoq-devs-.26-users/topic/Where.20does.20QuickChick.20output.20go.3F

Last updated: Jun 04 2023 at 23:30 UTC