diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-09-13 18:19:07 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-09-13 18:19:07 -0700 |
| commit | f492567c872c1f6bc864fe0a3d86021558f8101e (patch) | |
| tree | e9f9baab52075125712cfb979ab499904a96cb19 /tests | |
| parent | a2eee9ebefc6e8089c815b4355bc64d1ac3396b5 (diff) | |
| download | yosys-f492567c872c1f6bc864fe0a3d86021558f8101e.tar.gz yosys-f492567c872c1f6bc864fe0a3d86021558f8101e.tar.bz2 yosys-f492567c872c1f6bc864fe0a3d86021558f8101e.zip | |
Oops
Diffstat (limited to 'tests')
| -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 7c1c3b5bc..6bca62e2b 100644 --- a/tests/various/peepopt.ys +++ b/tests/various/peepopt.ys @@ -47,10 +47,10 @@ design -import gate -as gate peepopt_shiftmul_2 miter -equiv -make_assert -make_outputs -ignore_gold_x -flatten gold gate miter sat -show-public -enable_undef -prove-asserts miter +cd gate select -assert-count 1 t:$shr select -assert-count 1 t:$mul select -assert-count 0 t:$shr t:$mul %% t:* %D -exit #################### |