【发布时间】:2018-05-27 15:27:01
【问题描述】:
仅当其中一项具有特定值时(仅当 size == BYTE 时)我才需要收集覆盖率。我写的代码:
item size : size_t = trans.size using no_collect;
item byte_alignment : uint(bits:2) = trans.addr using no_collect;
cross size, byte_alignment using ignore = (size != BYTE);
在我运行的测试中,size != BYTE,但我在覆盖率统计中仍然有 cross_size__byte_alignment 项目,总体平均成绩为零。为什么?
如何防止收集size != BYTE 的覆盖率?
感谢您的帮助
【问题讨论】: