From 9cc82c704458d823291fa7499962e51126d619e0 Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Thu, 13 Feb 2025 20:32:17 -0800
Subject: [PATCH] Revert clocking.ys

---
 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 986a4ae90..bfdbeb748 100644
--- a/tests/verific/clocking.ys
+++ b/tests/verific/clocking.ys
@@ -1,4 +1,4 @@
-read -formal <<EOT
+read -sv <<EOT
 module test(input foo);
 always @(*) assert(foo);
 endmodule