急求，Formality吃了svf后的unmatch问题

xmf6227 · 发表于 2021-1-19 10:05:49

nice share

maoqiu · 发表于 2021-2-3 16:20:00

如果没有fail，unmatch就不用管了

但unmatch的point，还是要design来确认优化行为是否符合预期
主要是避免功能写错了，是一个反向检查的提示信息

unmatch点分类别
看下report unmatch的命令，选项里，有unread，意思是虽然unmatch，但不影响逻辑锥的比对结果
分类报一下，有主次的确认

nsun999 · 发表于 2022-2-22 16:52:35

nice share

[求助] 急求，Formality吃了svf后的unmatch问题

站长推荐 /2