From 1d18a3f960b2cd5496c651d65f907a89782d51e3 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Wed, 7 May 2025 15:58:08 -0400
Subject: [PATCH] KNOWNBUG test for `elsif

---
 regression/verilog/preprocessor/elsif1.desc | 8 ++++++++
 regression/verilog/preprocessor/elsif1.v    | 5 +++++
 2 files changed, 13 insertions(+)
 create mode 100644 regression/verilog/preprocessor/elsif1.desc
 create mode 100644 regression/verilog/preprocessor/elsif1.v

diff --git a/regression/verilog/preprocessor/elsif1.desc b/regression/verilog/preprocessor/elsif1.desc
new file mode 100644
index 000000000..cfb64923b
--- /dev/null
+++ 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
new file mode 100644
index 000000000..e909c62a7
--- /dev/null
+++ b/regression/verilog/preprocessor/elsif1.v
@@ -0,0 +1,5 @@
+`define X 1
+`ifdef X
+`elsif Y
+ELSIF
+`endif