Merge pull request #1104 from diffblue/elsif1

kroening · web-flow · commit 6755d3d9fd24 · 2025-05-10T11:41:17.000-04:00
KNOWNBUG test for `elsif
diff --git a/regression/verilog/preprocessor/elsif1.desc b/regression/verilog/preprocessor/elsif1.desc
@@ -0,0 +1,8 @@
+KNOWNBUG
+elsif1.v
+
+^EXIT=0$
+^SIGNAL=0$
+--
+--
+The elsif directive is not implemented.
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
