KNOWNBUG test for `elsif

kroening · kroening · commit d84d41aba5fa · 2025-05-07T15:58:23.000-04:00
diff --git a/regression/verilog/preprocessor/elsif1.desc b/regression/verilog/preprocessor/elsif1.desc
@@ -0,0 +1,6 @@
+KNOWNBUG
+elsif1.v
+
+^EXIT=0$
+^SIGNAL=0$
+--
diff --git a/regression/verilog/preprocessor/elsif1.v b/regression/verilog/preprocessor/elsif1.v
@@ -0,0 +1,5 @@
+`define X 1
+`ifdef X
+`elsif Y
+ELSIF
+`endif
