中断（）Z3上下文是否合法是合法的吗？

Question

当该上下文空闲时（即没有运行解算器），使用托管API在Z3 Interrupt上调用Context是否合法？

Answer 1

是。以下代码成功：

var context = new Context();
context.Interrupt();