diff --git a/tests/verific/README.md b/tests/verific/README.md
index a3424eea8..ada520fee 100644
--- a/tests/verific/README.md
+++ b/tests/verific/README.md
@@ -4,15 +4,12 @@
 
 ### Working
 
+- `case`
 - `clocking`
 - `enum`
 
 ### Skipped
 
 - `bounds`: checks top and bottom bound attributes, which are removed to avoid OpenSTA issues
-- `memory_semantics`: relies on initial values being retained, which is disabled
-- `rom_case`: relies on using Verific's frontend rather than GHDL, which is what we are using
-
-### Failing
-
-- `case`: checks that miter works with abstract case synthesis, but runs into issues with function
+- `memory_semantics`: relies on initial values being retained, which we do not want
+- `rom_case`: relies on using Verific's frontend rather than GHDL