diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-09-06 22:48:04 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-09-06 22:48:04 -0700 |
| commit | 51b559af2cc60226d85880efc3705f0860ffaed6 (patch) | |
| tree | bc42b4a85e3da5b35e26daf59e154384bafb38a6 /tests/various/peepopt.ys | |
| parent | ef0681ea4ca0b34689cbf14d5a4478e2785600d9 (diff) | |
| download | yosys-51b559af2cc60226d85880efc3705f0860ffaed6.tar.gz yosys-51b559af2cc60226d85880efc3705f0860ffaed6.tar.bz2 yosys-51b559af2cc60226d85880efc3705f0860ffaed6.zip | |
Usee equiv_opt -assert
Diffstat (limited to 'tests/various/peepopt.ys')
| -rw-r--r-- | tests/various/peepopt.ys | 6 |
1 files changed, 3 insertions, 3 deletions
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:* |