From 7a8d56b9adb56d49a58001cb8627650d3df63bcd Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 17 Nov 2014 17:46:08 -0800
Subject: AND/OR bug in the UIF computation.
---
src/base/wlc/wlcAbs.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/base/wlc/wlcAbs.c b/src/base/wlc/wlcAbs.c
index 0ffb887d..40e94b8b 100644
--- a/src/base/wlc/wlcAbs.c
+++ b/src/base/wlc/wlcAbs.c
@@ -234,7 +234,7 @@ Wlc_Ntk_t * Wlc_NtkUifNodePairs( Wlc_Ntk_t * p, Vec_Int_t * vPairsInit )
iObjNew2 = Wlc_ObjCreate( p, WLC_OBJ_COMP_EQU, 0, 0, 0, vFanins );
// create implication node (iObjNew is already complemented above)
Vec_IntFillTwo( vFanins, 2, iObjNew, iObjNew2 );
- iObjNew = Wlc_ObjCreate( p, WLC_OBJ_LOGIC_AND, 0, 0, 0, vFanins );
+ iObjNew = Wlc_ObjCreate( p, WLC_OBJ_LOGIC_OR, 0, 0, 0, vFanins );
// save the constraint
Vec_IntPush( vUifConstrs, iObjNew );
}
--
cgit v1.2.3