diff options
| author | Bogdan Vukobratovic <bogdan.vukobratovic@gmail.com> | 2019-08-07 09:30:58 +0200 |
|---|---|---|
| committer | Bogdan Vukobratovic <bogdan.vukobratovic@gmail.com> | 2019-08-07 09:30:58 +0200 |
| commit | 067b44938c1fd3e24fc9478b96a47bac7152c111 (patch) | |
| tree | 6f176bea83e2bf7bda4b9d7aad219d8b2309fd47 /tests | |
| parent | 6a796accc09bc2c8ef98c068185de13d3e01890a (diff) | |
| download | yosys-067b44938c1fd3e24fc9478b96a47bac7152c111.tar.gz yosys-067b44938c1fd3e24fc9478b96a47bac7152c111.tar.bz2 yosys-067b44938c1fd3e24fc9478b96a47bac7152c111.zip | |
Fix wrong results when opt_share called before opt_clean
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/opt/opt_share_large_pmux_cat_multipart.ys | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tests/opt/opt_share_large_pmux_cat_multipart.ys b/tests/opt/opt_share_large_pmux_cat_multipart.ys index 54d200dc7..610bb8c6c 100644 --- a/tests/opt/opt_share_large_pmux_cat_multipart.ys +++ b/tests/opt/opt_share_large_pmux_cat_multipart.ys @@ -7,7 +7,6 @@ opt merged opt_share merged opt_clean merged -opt -full miter -equiv -flatten -ignore_gold_x -make_outputs -make_outcmp opt_share_test merged miter sat -set-def-inputs -verify -prove trigger 0 -show-inputs -show-outputs miter |