[Coq-Club] QuickChick installation issues

[Klaus Ostermann]

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

[Yishuai Li]

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
<https://github.com/QuickChick/QuickChick/issues>.
Yishuai

Post by Klaus Ostermann
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.
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

[Yishuai Li]

How did you install CoqIDE? I could not locate CoqIDE in Applications bar
after installing it via OPAM.
This issue is also being tracked in QuickChick/QuickChick#120
<https://github.com/QuickChick/QuickChick/issues/120>.

Post by Klaus Ostermann
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.
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