diff options
author | Eddie Hung <eddie@fpgeh.com> | 2020-04-24 11:16:25 -0700 |
---|---|---|
committer | Eddie Hung <eddie@fpgeh.com> | 2020-04-24 11:16:25 -0700 |
commit | ebd6fa945d4f0afa9a7507e791d13653571c8a63 (patch) | |
tree | 53dfbf5cc5ebf52f80c6fbd6988fc21d40ad976f /tests/opt/opt_expr_xnor.ys | |
parent | 83570bc0da7773b16eca7cebfd792ae799eb5c0f (diff) | |
download | yosys-ebd6fa945d4f0afa9a7507e791d13653571c8a63.tar.gz yosys-ebd6fa945d4f0afa9a7507e791d13653571c8a63.tar.bz2 yosys-ebd6fa945d4f0afa9a7507e791d13653571c8a63.zip |
tests: opt_expr update xnor/xor tests
Diffstat (limited to 'tests/opt/opt_expr_xnor.ys')
-rw-r--r-- | tests/opt/opt_expr_xnor.ys | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/opt/opt_expr_xnor.ys b/tests/opt/opt_expr_xnor.ys index eadd3ce56..0f9463379 100644 --- a/tests/opt/opt_expr_xnor.ys +++ b/tests/opt/opt_expr_xnor.ys @@ -56,7 +56,7 @@ copy gold fine_keepdc cd coarse opt_expr -fine -select -assert-count 1 t:$xnor # FIXME: Should be zero +select -assert-none t:$xnor cd fine simplemap @@ -71,12 +71,12 @@ sat -verify -prove-asserts -show-ports -enable_undef miter2 cd coarse_keepdc opt_expr -keepdc -fine -select -assert-count 2 t:$xnor $ FIXME: Should be one +select -assert-count 1 t:$xnor cd fine_keepdc simplemap opt_expr -keepdc -select -assert-count t c:$_XOR_ +select -assert-count 0 c:$_XOR_ cd miter -equiv -flatten -make_assert -make_outputs gold coarse_keepdc miter3 |