Update Verific README

Silimate · Sep 23, 2024 · 138228d · 138228d
1 parent fb32031
commit 138228d
Showing 1 changed file with 3 additions and 6 deletions.
diff --git 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