ubuntu20.04中的verdi的vdCov无法正常使用

mrpp · 发表于 2023-11-24 22:19:48

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

您需要登录才可以下载或查看，没有账号？注册

x

本帖最后由 mrpp 于 2023-11-24 22:22 编辑

vdCov只要不打开.vdb，界面就可以出现，一直可以点点点。但是一旦打开.vdb，几秒钟后就会闪退，这几秒内可以瞥见代码覆盖率，可能是加载的时候内存溢出了？我不太懂软件层面的工作，使用sudo vdCOv，在软件出错是时控制台会打印下面的东西：

登录/注册后可看大图

###本来就想拿vdCov看个代码覆盖率的，没想到出这么多么蛾子，转战dve也失败了，估计是环境的问题？license看样子ok而且ssverfy也能通过。有大佬可以指点一下吗？

补充内容 (2023-12-13 20:09):
问题已解决，patch不完全的问题，github搜索mperov的fixSegfaultVCS即可

mrpp · 发表于 2023-11-24 22:23:55

完整图片

mrpp · 发表于 2023-11-24 22:26:10

dve也是一样的问题:

mrpp · 发表于 2023-11-24 22:22:40

branchName=Verdi_T-2022.06 cnlDate=-- Sun May 29 05:02:50 PDT 2022 cnlEnv=Linux.0/64bit uname(Linux mrpp 5.15.0-89-generic #99~20.04.1-Ubuntu SMP Thu Nov 2 15:16:47 UTC 2023 x86_64) --------------- Process Size: 498372608 bytes vdCov detected abnormal termination. Log information written to /home/mrpp/vdCovLog/sysinfo_Nov24_2210.tar. Please send this file to customer support. 段错误