From 2c3d2b3ec66b60349e58240cc7cfc4ae676ba999 Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Sun, 22 Sep 2024 08:01:16 -0700
Subject: [PATCH] Clocking works with -formal flag

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

diff --git a/tests/verific/clocking.ys b/tests/verific/clocking.ys
index 6bf7420a5..748c251d4 100644
--- a/tests/verific/clocking.ys
+++ b/tests/verific/clocking.ys
@@ -1,4 +1,4 @@
-read -sv <<EOT
+read -formal <<EOT
 module test(input foo);
 always @(*) assert(foo);
 endmodule