summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
a814ce2)
This allows generating a bmc trace even if cover failed.
& (cnt_alu_read == 1)
& (cnt_masked_read[0] == 1)
& (cnt_masked_read[1] == 1))
& (cnt_alu_read == 1)
& (cnt_masked_read[0] == 1)
& (cnt_masked_read[1] == 1))
- self.assertFormal(m, mode="cover", depth=10)
+ with self.subTest("cover"):
+ self.assertFormal(m, mode="cover", depth=10)
+
- self.assertFormal(m, mode="bmc", depth=10)
+ with self.subTest("bmc"):
+ self.assertFormal(m, mode="bmc", depth=10)
if __name__ == "__main__":
if __name__ == "__main__":