Missing equiv_opt -assert

diff --git a/tests/various/peepopt.ys b/tests/various/peepopt.ys
index dcf3cacbdc4c508be16b588437c222ecd82fbc0e..33555264d3e37b19baac2ad9adaf8ea11179bc3d 100644 (file)
--- a/tests/various/peepopt.ys
+++ b/tests/various/peepopt.ys
@@ -55,7 +55,7 @@ endmodule
 EOT
 
 prep -nokeepdc
-equiv_opt peepopt
+equiv_opt -assert peepopt
 design -load postopt
 clean
 select -assert-count 1 t:$dff r:WIDTH=2 %i