diff --git a/regression/verilog/SVA/sequence3.desc b/regression/verilog/SVA/sequence3.desc new file mode 100644 index 000000000..31647fa6f --- /dev/null +++ b/regression/verilog/SVA/sequence3.desc @@ -0,0 +1,12 @@ +CORE +sequence3.sv +--bound 20 --numbered-trace +^\[main\.property\.1\] ##\[\*\] main\.x == 6: REFUTED$ +^Counterexample with 2 states:$ +^\[main\.property\.2\] ##\[\+\] main\.x == 0: REFUTED$ +^Counterexample with 7 states:$ +^EXIT=10$ +^SIGNAL=0$ +-- +^warning: ignoring +--