diff options
author | Eddie Hung <eddie@fpgeh.com> | 2020-04-23 18:15:07 -0700 |
---|---|---|
committer | Eddie Hung <eddie@fpgeh.com> | 2020-04-23 18:15:07 -0700 |
commit | 90b71eb84bbf172cf0c66db7dd8c86178bf93f94 (patch) | |
tree | 4f36e862965f9fd1c77c4739962b2f842bebd56c /tests | |
parent | b84415094c193fbeb2053f0a888689ea1502e7cc (diff) | |
download | yosys-90b71eb84bbf172cf0c66db7dd8c86178bf93f94.tar.gz yosys-90b71eb84bbf172cf0c66db7dd8c86178bf93f94.tar.bz2 yosys-90b71eb84bbf172cf0c66db7dd8c86178bf93f94.zip |
opt_expr: do not group by X, more fixes
Diffstat (limited to 'tests')
-rw-r--r-- | tests/opt/opt_expr_xnor.ys | 2 | ||||
-rw-r--r-- | tests/opt/opt_expr_xor.ys | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tests/opt/opt_expr_xnor.ys b/tests/opt/opt_expr_xnor.ys index d712842d5..eadd3ce56 100644 --- a/tests/opt/opt_expr_xnor.ys +++ b/tests/opt/opt_expr_xnor.ys @@ -80,6 +80,6 @@ select -assert-count t c:$_XOR_ cd miter -equiv -flatten -make_assert -make_outputs gold coarse_keepdc miter3 -sat -verify -prove-asserts -show-ports -enable_undef -set-def in_i miter3 +sat -verify -prove-asserts -show-ports -enable_undef miter3 miter -equiv -flatten -make_assert -make_outputs coarse_keepdc fine_keepdc miter4 sat -verify -prove-asserts -show-ports -enable_undef miter4 diff --git a/tests/opt/opt_expr_xor.ys b/tests/opt/opt_expr_xor.ys index b581ac644..411bc396c 100644 --- a/tests/opt/opt_expr_xor.ys +++ b/tests/opt/opt_expr_xor.ys @@ -136,6 +136,6 @@ select -assert-count t c:$_XOR_ cd miter -equiv -flatten -make_assert -make_outputs gold coarse_keepdc miter3 -sat -verify -prove-asserts -show-ports -enable_undef -set-def in_i miter3 +sat -verify -prove-asserts -show-ports -enable_undef miter3 miter -equiv -flatten -make_assert -make_outputs coarse_keepdc fine_keepdc miter4 sat -verify -prove-asserts -show-ports -enable_undef miter4 |