From cbf90a408fc22e3d170c1cd81d05847abd6403e9 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Thu, 9 Oct 2025 15:26:07 -0700
Subject: [PATCH] Verilog: KNOWNBUG test for $error

---
 regression/verilog/system-functions/error1.desc | 9 +++++++++
 regression/verilog/system-functions/error1.v    | 8 ++++++++
 2 files changed, 17 insertions(+)
 create mode 100644 regression/verilog/system-functions/error1.desc
 create mode 100644 regression/verilog/system-functions/error1.v

diff --git a/regression/verilog/system-functions/error1.desc b/regression/verilog/system-functions/error1.desc
new file mode 100644
index 000000000..084540a2e
--- /dev/null
+++ b/regression/verilog/system-functions/error1.desc
@@ -0,0 +1,9 @@
+KNOWNBUG
+error1.v
+--module main
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+--
+This doesn't parse.
diff --git a/regression/verilog/system-functions/error1.v b/regression/verilog/system-functions/error1.v
new file mode 100644
index 000000000..980984f71
--- /dev/null
+++ b/regression/verilog/system-functions/error1.v
@@ -0,0 +1,8 @@
+module main;
+
+  parameter P = 1;
+
+  if(P!=1)
+    $error("something is wrong");
+
+endmodule