KNOWNBUG test for engine heuristic

Author: kroening

regression/ebmc/engine-heuristic/given_property1.desc

@@ -0,0 +1,10 @@
+KNOWNBUG
+given_property1.sv
+
+^\[main\.p0\] 0: REFUTED$
+^EXIT=10$
+^SIGNAL=0$
+--
+^\[main\.p1\] .*$
+--
+The second property should not be checked.

regression/ebmc/engine-heuristic/given_property1.sv

@@ -0,0 +1,4 @@
+module main;
+  initial p0: assert (0);
+  initial p1: assert (1);
+endmodule