The Coq mailing list

[Yishuai Li <yishuai AT cis.upenn.edu>]

Hi Klaus,

Could you try the QuickChick command after `QuickChickDebug Debug On.` and provide the logs?

Also, you're welcome to open QuickChick-specific issues on GitHub.

Yishuai

Klaus Ostermann <klaus.ostermann AT uni-tuebingen.de> 于2018年10月16日周二 下午3:52写道：

I want to use QuickChick with CoqIDE, but I can't get it to work properly.

I installed CoqIDE and QuickChick according to the official instructions.

QuickChick works fine when I run it inside coqtop.

For CoqIDE, I get the following strange behavior:

1. If I run CoqIDE from the command line, QuickChick works but the
output of QuickChick
is displayed in the console from which I started CoqIDE, not within CoqIDE.

2. If I run CoqIDE directly from the Applications bar (not via terminal
window),
I get an error "Could not compile mli file" when I execute a QuickChick
command.

I use Coq 8.8.2 with opam 2.0.0 on a Mac with OS version 10.13.2.

Any ideas?

Klaus