diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-14 22:45:51 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-14 22:45:51 -0700 |
| commit | 152aaedcb22e90f74719405312df6230cdb08e38 (patch) | |
| tree | 02a39753ff57eb943aec9f8299a76574fb6db5e0 | |
| parent | 080c32550016fbb8be51c88f02b9b856207a6016 (diff) | |
| download | abc-152aaedcb22e90f74719405312df6230cdb08e38.tar.gz abc-152aaedcb22e90f74719405312df6230cdb08e38.tar.bz2 abc-152aaedcb22e90f74719405312df6230cdb08e38.zip | |
Prepared &gla to try abstracting and proving concurrently.
| -rw-r--r-- | src/aig/gia/giaAbsGla2.c | 2 | ||||
| -rw-r--r-- | src/aig/gia/giaAbsOut.c | 2 | ||||
| -rw-r--r-- | src/aig/gia/giaAbsPth.c | 6 |
3 files changed, 7 insertions, 3 deletions
diff --git a/src/aig/gia/giaAbsGla2.c b/src/aig/gia/giaAbsGla2.c index 432b4f70..30ed6740 100644 --- a/src/aig/gia/giaAbsGla2.c +++ b/src/aig/gia/giaAbsGla2.c @@ -1799,7 +1799,7 @@ int Ga2_ManPerform( Gia_Man_t * pAig, Gia_ParVta_t * pPars ) } // if abstraction grew more than a certain percentage, force a restart if ( pPars->nRatioMax == 0 ) - break; + continue; if ( c > 0 && (f > 20 || Vec_IntSize(p->vAbs) > 100) && Vec_IntSize(p->vAbs) - nAbsOld >= nAbsOld * pPars->nRatioMax / 100 ) { if ( p->pPars->fVerbose ) diff --git a/src/aig/gia/giaAbsOut.c b/src/aig/gia/giaAbsOut.c index 0b303355..536ea277 100644 --- a/src/aig/gia/giaAbsOut.c +++ b/src/aig/gia/giaAbsOut.c @@ -378,7 +378,7 @@ int Gia_ManNewRefine( Gia_Man_t * p, Abc_Cex_t * pCex, int iFrameStart, int iFra Gia_Man_t * pAbs, * pNew; Vec_Int_t * vFlops, * vInit; Vec_Int_t * vCopy; - clock_t clk = clock(); +// clock_t clk = clock(); int RetValue; ABC_FREE( p->pCexSeq ); if ( p->vGateClasses == NULL ) diff --git a/src/aig/gia/giaAbsPth.c b/src/aig/gia/giaAbsPth.c index 187bfc02..3b997443 100644 --- a/src/aig/gia/giaAbsPth.c +++ b/src/aig/gia/giaAbsPth.c @@ -21,9 +21,13 @@ #include "aig/ioa/ioa.h" #include "proof/pdr/pdr.h" -// comment this out to disable pthreads +// uncomment this line to enable pthreads //#define ABC_USE_PTHREADS +// to compile on Linux, modify Makefile as follows: +// add -pthread to OPTFLAGS +// add -lpthread to LIBS + #ifdef ABC_USE_PTHREADS #ifdef WIN32 |