From 3469b605e13e29d57476b4e7c8d76c38da3c9384 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 24 Aug 2011 17:39:57 +0700 Subject: Sequential cleanup with symbolic/ternary simulation. --- src/aig/ssw/sswCore.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/aig/ssw/sswCore.c') diff --git a/src/aig/ssw/sswCore.c b/src/aig/ssw/sswCore.c index 1f4d44d2..0b2393df 100644 --- a/src/aig/ssw/sswCore.c +++ b/src/aig/ssw/sswCore.c @@ -111,10 +111,10 @@ void Ssw_ReportConeReductions( Ssw_Man_t * p, Aig_Man_t * pAigInit, Aig_Man_t * { Aig_Man_t * pAig1, * pAig2, * pAux; pAig1 = Aig_ManDupOneOutput( pAigInit, 0, 1 ); - pAig1 = Aig_ManScl( pAux = pAig1, 1, 1, 0 ); + pAig1 = Aig_ManScl( pAux = pAig1, 1, 1, 0, -1, -1, 0, 0 ); Aig_ManStop( pAux ); pAig2 = Aig_ManDupOneOutput( pAigStop, 0, 1 ); - pAig2 = Aig_ManScl( pAux = pAig2, 1, 1, 0 ); + pAig2 = Aig_ManScl( pAux = pAig2, 1, 1, 0, -1, -1, 0, 0 ); Aig_ManStop( pAux ); p->nNodesBegC = Aig_ManNodeNum(pAig1); -- cgit v1.2.3