Disable Verific blackbox checks (different from our preferred approach)

Silimate · Jan 21, 2025 · 2ae7490 · 2ae7490
1 parent e73d51d
commit 2ae7490
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 0 deletions.
diff --git 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 → tests/verific/blackbox.ys.DISABLED b/tests/verific/blackbox.ys → tests/verific/blackbox.ys.DISABLED
diff --git a/tests/verific/blackbox_empty.ys → tests/verific/blackbox_empty.ys.DISABLED b/tests/verific/blackbox_empty.ys → tests/verific/blackbox_empty.ys.DISABLED
diff --git a/tests/verific/blackbox_ql.ys → tests/verific/blackbox_ql.ys.DISABLED b/tests/verific/blackbox_ql.ys → tests/verific/blackbox_ql.ys.DISABLED