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