Является ли законным прерывание() контекста Z3, который простаивает?

Является ли законным вызывать Interrupt в Context Z3 с управляемым API, когда этот контекст простаивает (т.е. Нет решателей)?

1 ответ

Да. Следующий код преуспевает:

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

licensed under cc by-sa 3.0 with attribution.