仅当其中一项具有特定值时(仅当)时,我才需要收集覆盖范围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
?
谢谢您的帮助