diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-09-06 22:50:03 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-09-06 22:50:03 -0700 |
| commit | 97e1520b13231c8170cec73774eee7a22c5dc065 (patch) | |
| tree | 83ac6f949199479f499edc493a3520f2542d9542 | |
| parent | e2c2d784c8217e4bcf29fb6b156b6a8285036b80 (diff) | |
| download | yosys-97e1520b13231c8170cec73774eee7a22c5dc065.tar.gz yosys-97e1520b13231c8170cec73774eee7a22c5dc065.tar.bz2 yosys-97e1520b13231c8170cec73774eee7a22c5dc065.zip | |
Missing equiv_opt -assert
| -rw-r--r-- | tests/various/peepopt.ys | 2 |
1 files changed, 1 insertions, 1 deletions
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 |