Merge pull request #1416 from diffblue/sva-buechi-disable_iff1-bdd

tautschnig · web-flow · commit 331364378097 · 2025-11-17T23:29:02.000+01:00
Test ebmc-spot/sva-buechi/disable_iff1.bdd.desc passes
diff --git a/regression/ebmc-spot/sva-buechi/disable_iff1.bdd.desc b/regression/ebmc-spot/sva-buechi/disable_iff1.bdd.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 ../../verilog/SVA/disable_iff1.sv
 --buechi --module main --bdd --numbered-trace
 ^\[main\.p0\] always \(disable iff \(main.counter == 0\) main\.counter != 0\): PROVED$

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-KNOWNBUG`
	`1`	`+CORE`
`2`	`2`	`../../verilog/SVA/disable_iff1.sv`
`3`	`3`	`--buechi --module main --bdd --numbered-trace`
`4`	`4`	`^\[main\.p0\] always \(disable iff \(main.counter == 0\) main\.counter != 0\): PROVED$`