search

loonwerks / AGREE

Assume-Guarantee REasoning Environment
BSD 3-Clause "New" or "Revised" License
13 stars 5 forks source link

How to call Kind2 in AGREE? #141

Open zhenli798 opened 3 weeks ago

zhenli798 commented 3 weeks ago

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 commented 3 weeks ago

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 commented 3 weeks ago

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