From 2ae7490adf8c534739ded97b75de56470f08e944 Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Tue, 21 Jan 2025 05:46:40 -0800
Subject: [PATCH] Disable Verific blackbox checks (different from our preferred
 approach)

---
 tests/verific/README.md                                         | 1 +
 tests/verific/{blackbox.ys => blackbox.ys.DISABLED}             | 0
 tests/verific/{blackbox_empty.ys => blackbox_empty.ys.DISABLED} | 0
 tests/verific/{blackbox_ql.ys => blackbox_ql.ys.DISABLED}       | 0
 4 files changed, 1 insertion(+)
 rename tests/verific/{blackbox.ys => blackbox.ys.DISABLED} (100%)
 rename tests/verific/{blackbox_empty.ys => blackbox_empty.ys.DISABLED} (100%)
 rename tests/verific/{blackbox_ql.ys => blackbox_ql.ys.DISABLED} (100%)

diff --git a/tests/verific/README.md b/tests/verific/README.md
index ebcbddc5e6d..9e2deceb051 100644
--- a/tests/verific/README.md
+++ b/tests/verific/README.md
@@ -5,3 +5,4 @@
 - `bounds`: relies on using Verific's VHDL frontend
 - `memory_semantics`: relies on initial values being retained, which we do not want
 - `rom_case`: relies on using Verific's VHDL frontend
+- `blackbox*`: we need different behavior for parametrized blackboxes
diff --git a/tests/verific/blackbox.ys b/tests/verific/blackbox.ys.DISABLED
similarity index 100%
rename from tests/verific/blackbox.ys
rename to tests/verific/blackbox.ys.DISABLED
diff --git a/tests/verific/blackbox_empty.ys b/tests/verific/blackbox_empty.ys.DISABLED
similarity index 100%
rename from tests/verific/blackbox_empty.ys
rename to tests/verific/blackbox_empty.ys.DISABLED
diff --git a/tests/verific/blackbox_ql.ys b/tests/verific/blackbox_ql.ys.DISABLED
similarity index 100%
rename from tests/verific/blackbox_ql.ys
rename to tests/verific/blackbox_ql.ys.DISABLED