3588: Enable to cancel execution of Z3 (!133) · Merge requests · af3 / af3-backup · GitLab

This is an archived project. Repository and other project resources are read-only.

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens, and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption in our documentation.

Simon Barner requested to merge 3588 into master Dec 03, 2018

Implement Z3CancelThread that polls every 500 ms the IProgressMonitor provided by the Eclipse Job in which Z3 is run.
In case of a corresponding user request, cancel the computation using Context::interrupt()

Issue-Ref: 3588 Issue-Url: https://af3-developer.fortiss.org/issues/3588

Signed-off-by: Simon Barner barner@fortiss.org

Edited Dec 05, 2018 by Simon Barner