spyglass cdc检查rule Ar_sync_int检查时crash

zhou4539 · 发表于 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.

zhou4539 · 发表于 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

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

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

站长推荐 /3