KNOWNBUG test for `elsif

kroening · kroening · commit 1d18a3f960b2 · 2025-05-10T11:40:40.000-04:00
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
