使用par-or tactic时出现分段错误

Question

This smt2 script遇到分段错误。当使用par或waric时会出现问题。它没有这种策略。 我在＆＃34; Debian 3.2.60-1 + deb7u3 x86_64 GNU / Linux＆＃34;上使用z3 4.4.0。机。

Answer 1

感谢您报告此问题！模型翻译中确实存在一个错误，现在已在不稳定的分支中修复（从this开始）。