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

水木社区手机版

主题:[求助] formality验证显示Aborted hard (too complex),怎么解决
1楼|shhier|2021-08-23 15:12:51|展开
将部分逻辑设置blackbox，分开做formality，降低逻辑复杂度。
--
FROM 27.115.119.*