Add -nordff to test

2024-02-06 10:36:30 +01:00 · 2024-02-06 10:36:30 +01:00 · d00843d436
parent 5d3e4c5c7a
commit d00843d436
1 changed files with 1 additions and 1 deletions
--- a/tests/verific/memory_semantics.ys
+++ b/tests/verific/memory_semantics.ys
@ -89,6 +89,6 @@ EOF
 hierarchy -top top
 proc
 opt_clean
-memory -nomap
+memory -nomap -nordff
 select -assert-count 1 t:$mem_v2
 sim -assert -clock clk -n 20