diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-09-11 00:14:06 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-09-11 00:14:06 -0700 |
| commit | 3a8582081e1eda7e4a41ec1ec7292e7d247559da (patch) | |
| tree | bc1ece609ea09d592e818a1aff8c367df02bf98d | |
| parent | 580faae8ad608981ef6ef6a99ca6b771dc0368ae (diff) | |
| download | yosys-3a8582081e1eda7e4a41ec1ec7292e7d247559da.tar.gz yosys-3a8582081e1eda7e4a41ec1ec7292e7d247559da.tar.bz2 yosys-3a8582081e1eda7e4a41ec1ec7292e7d247559da.zip | |
proc instead of prep
| -rw-r--r-- | tests/various/peepopt.ys | 4 |
1 files changed, 2 insertions, 2 deletions
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 |