我将 an 更改assert为 an assert-soft，现在出现错误“无法使用嵌套数据类型表达式”。这是什么意思？
这是代码中的一个错字。优化模式认为它可以将您的数据类型表达式转换为枚举类型，但遇到一个它不知道处理的表达式。需要修复代码以检查这种情况。一个小的复制会很有用。我可以修复异常消息中的错字，但它不会解决该错误。如果您可以使用 repro在https://github.com/z3prover上提交问题，我们将不胜感激。
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句