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 | |
| 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')
| -rw-r--r-- | tests/opt/opt_expr_xnor.ys | 6 | ||||
| -rw-r--r-- | tests/opt/opt_expr_xor.ys | 7 |
2 files changed, 6 insertions, 7 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 diff --git a/tests/opt/opt_expr_xor.ys b/tests/opt/opt_expr_xor.ys index 411bc396c..a879f3ec9 100644 --- a/tests/opt/opt_expr_xor.ys +++ b/tests/opt/opt_expr_xor.ys @@ -111,7 +111,7 @@ copy gold fine_keepdc cd coarse opt_expr -fine -select -assert-count 1 t:$xor # FIXME: Should be zero +select -assert-count 0 t:$xor cd fine simplemap @@ -126,13 +126,12 @@ sat -verify -prove-asserts -show-ports -enable_undef miter2 cd coarse_keepdc opt_expr -keepdc -fine -dump -select -assert-count 2 t:$xor $ FIXME: Should be one +select -assert-count 1 t:$xor cd fine_keepdc simplemap opt_expr -keepdc -select -assert-count t c:$_XOR_ +select -assert-count 3 t:$_XOR_ cd miter -equiv -flatten -make_assert -make_outputs gold coarse_keepdc miter3 |