luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Commenting out things in GIA constant sweeping.

This commit is contained in:
Alan Mishchenko 2017-07-14 16:03:19 -07:00
parent a2e73612b4
commit e24a3d52f6
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/aig/gia/giaSupp.c
View File

@ -394,8 +394,8 @@ Gia_Man2Min_t * Gia_Man2SuppStart( Gia_Man_t * pGia )
} }
void Gia_Man2SuppStop( Gia_Man2Min_t * p ) void Gia_Man2SuppStop( Gia_Man2Min_t * p )
{ {
printf( "Total calls = %8d. Supps = %6d. Sims = %6d. SAT = %6d. UNSAT = %6d.\n", // printf( "Total calls = %8d. Supps = %6d. Sims = %6d. SAT = %6d. UNSAT = %6d.\n",
p->nCalls, p->nSupps, p->nSims, p->nSatSat, p->nSatUnsat ); // p->nCalls, p->nSupps, p->nSims, p->nSatSat, p->nSatUnsat );
Vec_IntFreeP( &p->vCis[0] ); Vec_IntFreeP( &p->vCis[0] );
Vec_IntFreeP( &p->vCis[1] ); Vec_IntFreeP( &p->vCis[1] );
Vec_IntFreeP( &p->vObjs[0] ); Vec_IntFreeP( &p->vObjs[0] );
@ -740,7 +740,7 @@ int Gia_Min2ManSolve( Gia_Man2Min_t * p )
for ( n = 0; n < 2; n++ ) for ( n = 0; n < 2; n++ )
Vec_IntForEachEntry( p->vCis[n], iTemp, i ) Vec_IntForEachEntry( p->vCis[n], iTemp, i )
Gia_Min2SimSetInputBit( p, iTemp, var_polarity(p->pSat, Gia_Min2ObjSatId(p->pGia, Gia_ManObj(p->pGia, iTemp))) == LIT_TRUE, p->iPattern ); Gia_Min2SimSetInputBit( p, iTemp, var_polarity(p->pSat, Gia_Min2ObjSatId(p->pGia, Gia_ManObj(p->pGia, iTemp))) == LIT_TRUE, p->iPattern );
assert( Gia_Min2ManSimulate(p) == 0 ); //assert( Gia_Min2ManSimulate(p) == 0 );
p->iPattern = p->iPattern == 63 ? 1 : p->iPattern + 1; p->iPattern = p->iPattern == 63 ? 1 : p->iPattern + 1;
p->nSatSat++; p->nSatSat++;
} }