diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-17 17:46:08 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-17 17:46:08 -0800 |
| commit | 7a8d56b9adb56d49a58001cb8627650d3df63bcd (patch) | |
| tree | 692ad8b244e09f836989a096b635d9223045d73c | |
| parent | d9ffe9c3ad918bffadc833be0542a50c758d85d5 (diff) | |
| download | abc-7a8d56b9adb56d49a58001cb8627650d3df63bcd.tar.gz abc-7a8d56b9adb56d49a58001cb8627650d3df63bcd.tar.bz2 abc-7a8d56b9adb56d49a58001cb8627650d3df63bcd.zip | |
AND/OR bug in the UIF computation.
| -rw-r--r-- | src/base/wlc/wlcAbs.c | 2 |
1 files changed, 1 insertions, 1 deletions
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 ); } |