Clocking works with -formal flag

Silimate · Sep 22, 2024 · 2c3d2b3 · 2c3d2b3
1 parent 69bf787
commit 2c3d2b3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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