From: Eddie Hung <eddie@fpgeh.com>
Date: Sat, 7 Sep 2019 05:50:03 +0000 (-0700)
Subject: Missing equiv_opt -assert
X-Git-Tag: working-ls180~1058^2~12
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=97e1520b13231c8170cec73774eee7a22c5dc065;p=yosys.git

Missing equiv_opt -assert
---

diff --git a/tests/various/peepopt.ys b/tests/various/peepopt.ys
index dcf3cacbd..33555264d 100644
--- 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