[求助] formality验证显示Aborted hard (too complex),怎么解决

水木社区手机版

主题:[求助] formality验证显示Aborted hard (too complex),怎么解决
楼主|atlandis|2021-08-23 11:26:28|展开
[求助] formality验证显示Aborted hard (too complex),怎么解决？
--
FROM 58.34.195.*
3楼|atlandis|2021-08-23 22:40:31|展开
非常感谢，我试试看
【在 doubleback 的大作中提到: 】
: 综合的时候加
: set_verification_priority <aborted point所在的模块>
: 大多数情况下可解。
--
FROM 101.229.201.*