From: Eddie Hung Date: Sat, 7 Sep 2019 05:48:04 +0000 (-0700) Subject: Usee equiv_opt -assert X-Git-Tag: working-ls180~1058^2~14 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=51b559af2cc60226d85880efc3705f0860ffaed6;p=yosys.git Usee equiv_opt -assert --- diff --git a/tests/various/peepopt.ys b/tests/various/peepopt.ys index 91db22423..a476133a2 100644 --- a/tests/various/peepopt.ys +++ b/tests/various/peepopt.ys @@ -5,7 +5,7 @@ endmodule EOT prep -nokeepdc -equiv_opt peepopt +equiv_opt -assert peepopt design -load postopt clean select -assert-count 1 t:$shiftx @@ -21,7 +21,7 @@ endmodule EOT prep -nokeepdc -equiv_opt peepopt +equiv_opt -assert peepopt design -load postopt clean select -assert-count 1 t:$shr @@ -40,7 +40,7 @@ endmodule EOT prep -nokeepdc -equiv_opt peepopt +equiv_opt -assert peepopt design -load postopt clean select -assert-count 0 t:*