How to call Kind2 in AGREE?

[zhenli798]

After selecting KIND2 in the AGREE settings, when I clicked "check if available", an error occurred stating "process hasn't exited".I would like to ask how to invoke kind2. What should I do to call the version of kind2 that I have compiled myself?

[kfhoech]

The only configuration necessary is that the Kind2 executable be named "kind2" and be on the PATH.

The error you see is due to changes in the Java Process class which now requires that the calling thread wait for the completion of the process before checking for completion.

I expect that you probably already have it configured correctly.

[kfhoech]

I'm leaving this Issue open to remind us to fix the availability check.