From d5f34b5c61e440bec3d6d5167744e3a61b528da9 Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Mon, 21 Jul 2025 18:07:49 -0700
Subject: [PATCH] Remove chformal test from verific since it requires initial
 value preservation

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

diff --git a/tests/verific/README.md b/tests/verific/README.md
index 9e2deceb0..2a00f9926 100644
--- a/tests/verific/README.md
+++ b/tests/verific/README.md
@@ -6,3 +6,4 @@
 - `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
+- `chformal`: relies on initial values being retained, which we do not want
diff --git a/tests/verific/chformal.ys b/tests/verific/chformal.ys.DISABLED
similarity index 100%
rename from tests/verific/chformal.ys
rename to tests/verific/chformal.ys.DISABLED