您的问题可能是该工具正在探索可以应用重置的所有可能状态。也就是说,如果我用4加载寄存器A并且我用8加载寄存器B并且我应用复位,那么会发生什么。现在尝试寄存器A是5,寄存器B是8,我应用复位,会发生什么。现在尝试注册A是6和....你明白了。
你可以编写这些测试,但是你需要做一些事情:
注意:对于重置测试而言,这往往是一组不同于其他功能测试的约束,因此您需要单独的正式运行。