Silimate
diff --git a/‎tests/opt/opt_lut.ys.skip renamed to ‎tests/opt/opt_lut.ys.DISABLED b/‎tests/opt/opt_lut.ys.skip renamed to ‎tests/opt/opt_lut.ys.DISABLED
diff --git a/‎tests/various/abc9.ys.skip renamed to ‎tests/various/abc9.ys.DISABLED b/‎tests/various/abc9.ys.skip renamed to ‎tests/various/abc9.ys.DISABLED
diff --git a/‎tests/various/check.ys.skip renamed to ‎tests/various/check.ys.DISABLED b/‎tests/various/check.ys.skip renamed to ‎tests/various/check.ys.DISABLED
diff --git a/‎tests/various/check_2.ys.skip renamed to ‎tests/various/check_2.ys.DISABLED b/‎tests/various/check_2.ys.skip renamed to ‎tests/various/check_2.ys.DISABLED
diff --git a/‎tests/various/check_3.ys.skip renamed to ‎tests/various/check_3.ys.DISABLED b/‎tests/various/check_3.ys.skip renamed to ‎tests/various/check_3.ys.DISABLED
diff --git a/‎tests/various/check_4.ys.skip renamed to ‎tests/various/check_4.ys.DISABLED b/‎tests/various/check_4.ys.skip renamed to ‎tests/various/check_4.ys.DISABLED
diff --git a/‎tests/various/ice40_mince_abc9.ys.skip renamed to ‎tests/various/ice40_mince_abc9.ys.DISABLED b/‎tests/various/ice40_mince_abc9.ys.skip renamed to ‎tests/various/ice40_mince_abc9.ys.DISABLED
diff --git a/‎tests/various/plugin.sh.skip renamed to ‎tests/various/plugin.sh.DISABLED b/‎tests/various/plugin.sh.skip renamed to ‎tests/various/plugin.sh.DISABLED
diff --git a/‎tests/verific/README.md
Lines changed: 1 addition & 9 deletions b/‎tests/verific/README.md
Lines changed: 1 addition & 9 deletions
diff --git a/‎tests/verific/bounds.ys.skip renamed to ‎tests/verific/bounds.ys.DISABLED b/‎tests/verific/bounds.ys.skip renamed to ‎tests/verific/bounds.ys.DISABLED
@@ -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