From d00843d436f4ebaed19c4a49f6e5dc78960fdf00 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Tue, 6 Feb 2024 10:36:30 +0100
Subject: [PATCH] Add -nordff to test

---
 tests/verific/memory_semantics.ys | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/verific/memory_semantics.ys b/tests/verific/memory_semantics.ys
index adcd3a4ca..7287f847f 100644
--- 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