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