diff --git a/tests/opt/opt_lut.ys.skip b/tests/opt/opt_lut.ys.DISABLED
similarity index 100%
rename from tests/opt/opt_lut.ys.skip
rename to tests/opt/opt_lut.ys.DISABLED
diff --git a/tests/various/abc9.ys.skip b/tests/various/abc9.ys.DISABLED
similarity index 100%
rename from tests/various/abc9.ys.skip
rename to tests/various/abc9.ys.DISABLED
diff --git a/tests/various/check.ys.skip b/tests/various/check.ys.DISABLED
similarity index 100%
rename from tests/various/check.ys.skip
rename to tests/various/check.ys.DISABLED
diff --git a/tests/various/check_2.ys.skip b/tests/various/check_2.ys.DISABLED
similarity index 100%
rename from tests/various/check_2.ys.skip
rename to tests/various/check_2.ys.DISABLED
diff --git a/tests/various/check_3.ys.skip b/tests/various/check_3.ys.DISABLED
similarity index 100%
rename from tests/various/check_3.ys.skip
rename to tests/various/check_3.ys.DISABLED
diff --git a/tests/various/check_4.ys.skip b/tests/various/check_4.ys.DISABLED
similarity index 100%
rename from tests/various/check_4.ys.skip
rename to tests/various/check_4.ys.DISABLED
diff --git a/tests/various/ice40_mince_abc9.ys.skip b/tests/various/ice40_mince_abc9.ys.DISABLED
similarity index 100%
rename from tests/various/ice40_mince_abc9.ys.skip
rename to tests/various/ice40_mince_abc9.ys.DISABLED
diff --git a/tests/various/plugin.sh.skip b/tests/various/plugin.sh.DISABLED
similarity index 100%
rename from tests/various/plugin.sh.skip
rename to tests/various/plugin.sh.DISABLED
diff --git a/tests/verific/README.md b/tests/verific/README.md
index ada520fee..2b33a591c 100644
--- a/tests/verific/README.md
+++ b/tests/verific/README.md
@@ -1,14 +1,6 @@
 # Verific Test Cases
 
-## Yosys Built-In
-
-### Working
-
-- `case`
-- `clocking`
-- `enum`
-
-### Skipped
+## Disabled
 
 - `bounds`: checks top and bottom bound attributes, which are removed to avoid OpenSTA issues
 - `memory_semantics`: relies on initial values being retained, which we do not want
diff --git a/tests/verific/bounds.ys.skip b/tests/verific/bounds.ys.DISABLED
similarity index 100%
rename from tests/verific/bounds.ys.skip
rename to tests/verific/bounds.ys.DISABLED
diff --git a/tests/verific/memory_semantics.ys.skip b/tests/verific/memory_semantics.ys.DISABLED
similarity index 100%
rename from tests/verific/memory_semantics.ys.skip
rename to tests/verific/memory_semantics.ys.DISABLED
diff --git a/tests/verific/range_case.ys b/tests/verific/range_case.ys
new file mode 100644
index 000000000..99909af36
--- /dev/null
+++ b/tests/verific/range_case.ys
@@ -0,0 +1,16 @@
+import -cfg db_abstract_case_statement_synthesis 0
+read -sv range_case.sv
+import -import top 
+proc
+rename top gold
+
+import -cfg db_abstract_case_statement_synthesis 1
+read -sv range_case.sv
+import -import top 
+proc
+rename top gate
+
+miter -equiv -flatten -make_assert gold gate miter
+prep -top miter
+clk2fflogic
+sat -set-init-zero -tempinduct -prove-asserts -verify
diff --git a/tests/verific/rom_case.ys.skip b/tests/verific/rom_case.ys.DISABLED
similarity index 100%
rename from tests/verific/rom_case.ys.skip
rename to tests/verific/rom_case.ys.DISABLED