summaryrefslogtreecommitdiffstats
path: root/src/aig/ssw
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2011-08-24 17:39:57 +0700
committerAlan Mishchenko <alanmi@berkeley.edu>2011-08-24 17:39:57 +0700
commit3469b605e13e29d57476b4e7c8d76c38da3c9384 (patch)
treeba64c3a19c4e776c90876825f2a09f67eb5b40fe /src/aig/ssw
parentc913fd8849a9ce150b21c640bdcda38d29b2d90e (diff)
downloadabc-3469b605e13e29d57476b4e7c8d76c38da3c9384.tar.gz
abc-3469b605e13e29d57476b4e7c8d76c38da3c9384.tar.bz2
abc-3469b605e13e29d57476b4e7c8d76c38da3c9384.zip
Sequential cleanup with symbolic/ternary simulation.
Diffstat (limited to 'src/aig/ssw')
-rw-r--r--src/aig/ssw/sswCore.c4
1 files changed, 2 insertions, 2 deletions
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);