From: Eddie Hung <eddie@fpgeh.com>
Date: Fri, 8 May 2020 18:12:58 +0000 (-0700)
Subject: test: update opt_expr_alu test
X-Git-Tag: working-ls180~553^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=49e64ad492633781e030c795eecd44e73a1bdc1c;p=yosys.git

test: update opt_expr_alu test
---

diff --git a/tests/opt/opt_expr_alu.ys b/tests/opt/opt_expr_alu.ys
index 9121c0096..477555da9 100644
--- a/tests/opt/opt_expr_alu.ys
+++ b/tests/opt/opt_expr_alu.ys
@@ -59,9 +59,8 @@ EOT
 alumacc
 equiv_opt -assert opt_expr -fine
 design -load postopt
-select -assert-count 1 t:$pos
 select -assert-count 1 t:$not
-select -assert-none t:$pos t:$not %% t:* %D
+select -assert-none t:$not %% t:* %D
 
 
 design -reset