From: Eddie Hung Date: Wed, 11 Sep 2019 07:14:06 +0000 (-0700) Subject: proc instead of prep X-Git-Tag: working-ls180~1058^2~10 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3a8582081e1eda7e4a41ec1ec7292e7d247559da;p=yosys.git proc instead of prep --- diff --git a/tests/various/peepopt.ys b/tests/various/peepopt.ys index e930015a4..2a660d5c9 100644 --- a/tests/various/peepopt.ys +++ b/tests/various/peepopt.ys @@ -54,7 +54,7 @@ module peepopt_dffmuxext_unsigned(input clk, ce, input [1:0] i, output reg [3:0] endmodule EOT -prep -nokeepdc +proc equiv_opt -assert peepopt design -load postopt clean @@ -71,7 +71,7 @@ module peepopt_dffmuxext_signed(input clk, ce, input signed [1:0] i, output reg endmodule EOT -prep -nokeepdc +proc equiv_opt -assert peepopt design -load postopt clean