Terminate Analysis does not work for for Realizability

Question

Terminate Analysis does not work for for Realizability

Opened this issue 6 years ago · 0 comments

The Terminate Analysis button is clickable when Realizability is running, but it does not work -- it does not terminate the analysis. I am using SpeAR 2.1.1.