Merge remote-tracking branch 'origin/master' into clifford/testfast

[yosys.git] / tests / opt / opt_rmdff.ys

diff --git a/tests/opt/opt_rmdff.ys b/tests/opt/opt_rmdff.ys
index 081f81782342b15e5b4aec89b1cb88bad2f3e810..83a162f44d3d7fac419cd8f1ab0fd93950101c6e 100644 (file)
--- a/tests/opt/opt_rmdff.ys
+++ b/tests/opt/opt_rmdff.ys
@@ -19,8 +19,8 @@ hierarchy -top equiv
 equiv_simple -undef
 equiv_status -assert
 
-design -load gold
-stat
-
-design -load gate
-stat
+#design -load gold
+#stat
+#
+#design -load gate
+#stat