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

水木社区手机版

主题:[求助] formality验证显示Aborted hard (too complex),怎么解决
楼主|atlandis|2021-08-23 11:26:28|只看此ID
[求助] formality验证显示Aborted hard (too complex),怎么解决？
--
FROM 58.34.195.*
1楼|shhier|2021-08-23 15:12:51|只看此ID
将部分逻辑设置blackbox，分开做formality，降低逻辑复杂度。
--
FROM 27.115.119.*
2楼|doubleback|2021-08-23 18:27:01|只看此ID
综合的时候加
set_verification_priority <aborted point所在的模块>
大多数情况下可解。
【在 atlandis 的大作中提到: 】
: [求助] formality验证显示Aborted hard (too complex),怎么解决？
--
FROM 124.74.246.*
3楼|atlandis|2021-08-23 22:40:31|只看此ID
非常感谢，我试试看
【在 doubleback 的大作中提到: 】
: 综合的时候加
: set_verification_priority <aborted point所在的模块>
: 大多数情况下可解。
--
FROM 101.229.201.*