From ebd6fa945d4f0afa9a7507e791d13653571c8a63 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Fri, 24 Apr 2020 11:16:25 -0700
Subject: tests: opt_expr update xnor/xor tests

---
 tests/opt/opt_expr_xnor.ys | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'tests/opt/opt_expr_xnor.ys')

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
-- 
cgit v1.2.3