From f26ef15b2af17d3323e2d3f8297a15aa9ee47d55 Mon Sep 17 00:00:00 2001
From: Catherine <whitequark@whitequark.org>
Date: Wed, 5 Aug 2026 16:52:59 +0000
Subject: [PATCH] Revert "hierarchy: regression test for keep cache"

This reverts commit a27378cff8404ed46d2cc2177b8d6a52e86cbf1e.
---
 tests/various/hierarchy_recursive.v  |  3 ---
 tests/various/hierarchy_recursive.ys | 25 -------------------------
 2 files changed, 28 deletions(-)
 delete mode 100644 tests/various/hierarchy_recursive.v
 delete mode 100644 tests/various/hierarchy_recursive.ys

diff --git a/tests/various/hierarchy_recursive.v b/tests/various/hierarchy_recursive.v
deleted file mode 100644
index 9e68528fa..000000000
--- a/tests/various/hierarchy_recursive.v
+++ /dev/null
@@ -1,3 +0,0 @@
-module top(input x, output y);
-top top_i(.x(x), .y(y));
-endmodule
diff --git a/tests/various/hierarchy_recursive.ys b/tests/various/hierarchy_recursive.ys
deleted file mode 100644
index e9f203828..000000000
--- a/tests/various/hierarchy_recursive.ys
+++ /dev/null
@@ -1,25 +0,0 @@
-read_verilog hierarchy_recursive.v
-hierarchy -auto-top
-select -assert-any top
-select -assert-none a:keep
-
-design -reset
-read_verilog <<EOT
-module top(input x, output y);
-top top_i(.x(x), .y(y));
-always @(x) $display("x=%d", x);
-endmodule
-EOT
-hierarchy -auto-top
-select -assert-any top %% a:keep
-
-design -reset
-read_verilog -formal <<EOT
-module a(input x); b b_i(.x(x)); endmodule
-module b(input x); a a_i(.x(x)); always @(x) assert (x == x); endmodule
-module top(input x); a a_i(.x(x)); endmodule
-EOT
-hierarchy -top top
-select -assert-any a %% a:keep
-select -assert-any b %% a:keep
-select -assert-any top %% a:keep