diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-07-14 16:03:19 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-07-14 16:03:19 -0700 |
| commit | e24a3d52f6efef48eb4c5acdaf8fb4f6e9d1e4f1 (patch) | |
| tree | 771790a25757fea08f9c202bb037bd052cfb4d8c | |
| parent | a2e73612b4b7e31bd45c22857fed8c8a7a8d0f6c (diff) | |
| download | abc-e24a3d52f6efef48eb4c5acdaf8fb4f6e9d1e4f1.tar.gz abc-e24a3d52f6efef48eb4c5acdaf8fb4f6e9d1e4f1.tar.bz2 abc-e24a3d52f6efef48eb4c5acdaf8fb4f6e9d1e4f1.zip | |
Commenting out things in GIA constant sweeping.
| -rw-r--r-- | src/aig/gia/giaSupp.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/gia/giaSupp.c b/src/aig/gia/giaSupp.c index d9ba4e70..589084f9 100644 --- a/src/aig/gia/giaSupp.c +++ b/src/aig/gia/giaSupp.c @@ -394,8 +394,8 @@ Gia_Man2Min_t * Gia_Man2SuppStart( Gia_Man_t * pGia ) } void Gia_Man2SuppStop( Gia_Man2Min_t * p ) { - printf( "Total calls = %8d. Supps = %6d. Sims = %6d. SAT = %6d. UNSAT = %6d.\n", - p->nCalls, p->nSupps, p->nSims, p->nSatSat, p->nSatUnsat ); +// printf( "Total calls = %8d. Supps = %6d. Sims = %6d. SAT = %6d. UNSAT = %6d.\n", +// p->nCalls, p->nSupps, p->nSims, p->nSatSat, p->nSatUnsat ); Vec_IntFreeP( &p->vCis[0] ); Vec_IntFreeP( &p->vCis[1] ); Vec_IntFreeP( &p->vObjs[0] ); @@ -740,7 +740,7 @@ int Gia_Min2ManSolve( Gia_Man2Min_t * p ) for ( n = 0; n < 2; n++ ) 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 ); - assert( Gia_Min2ManSimulate(p) == 0 ); + //assert( Gia_Min2ManSimulate(p) == 0 ); p->iPattern = p->iPattern == 63 ? 1 : p->iPattern + 1; p->nSatSat++; } |