EETOP 创芯网论坛 (原名:电子顶级开发网)

便捷登录,只需一步

找回密码

  登录   注册  

快捷导航
搜帖子
EETOP创芯大讲堂畅销课程原价购买赠信元
查看: 146|回复: 1

[求助] spyglass cdc检查rule Ar_sync_int检查时crash

[复制链接]
发表于 2020-7-26 17:12:05 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有帐号?注册

x
每次直行道这个rule检查就会crash;
用的是2018.09版本的spyglass
请教1. spy cdc中禁止该rule检查的方法?
       2. 下述error有人知道原因吗?
Checking Rule Ar_sync_init (Rule 349 of total 472)SG_ASSERT_FATAL:src/SgMessageDB.cpp:319: long int MessageDbWrapper::getFilePos(): Assertion '(pos >= 0) && "+++++! error handling"' fAIled.

*** SpyGlass Terminated abnormally.
*** Please see log-file `./top_cdc/vc0768/cdc/cdc_verify/spyglass.log' for more details.

 楼主| 发表于 2020-7-27 10:25:20 | 显示全部楼层
#set_goal_option ignorerule Ar_sync_init 本能被ignore
#WARNING [38]    Following rule(s) are perquisite for running other rules and hence, cannot be ignored:
#    Ar_sync_init
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐上一条 /1 下一条

关闭

小黑屋| 关于我们| 联系我们| 在线咨询 |  EETOP 创芯网 ( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2020-8-10 01:15 , Processed in 0.061606 second(s), 9 queries , Gzip On, Redis On.

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

快速回复 返回顶部 返回列表