Is it possible to cancel a running check-sat request? #5837

Answered by NikolajBjorner

keyboardDrummer asked this question in Q&A

keyboardDrummer
Feb 10, 2022

After sending a (check-sat) command to Z3, is it possible to send another command to cancel the (check-sat) request? The use-case is a user working in an IDE, where (check-sat) requests may quickly become obsolete because the user has continued typing.

Answered by NikolajBjorner

It isn't: the command interpreter waits for check-sat to complete, but you can send a CTL-C (interrupt) signal.

View full answer

Replies: 1 comment

NikolajBjorner
Feb 12, 2022
Maintainer

It isn't: the command interpreter waits for check-sat to complete, but you can send a CTL-C (interrupt) signal.

0 replies

Answer selected by keyboardDrummer

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment