diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-11-21 11:52:50 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-11-21 11:52:50 -0800 |
| commit | b483c97fdd6e1fe6d52158d1b0231678073ace5e (patch) | |
| tree | 5bec181d2f913f386021ef26c5808e2909f0dbcd /src/aig/gia | |
| parent | a703052bc535280de6f7ce01b796a5982e22f5a1 (diff) | |
| download | abc-b483c97fdd6e1fe6d52158d1b0231678073ace5e.tar.gz abc-b483c97fdd6e1fe6d52158d1b0231678073ace5e.tar.bz2 abc-b483c97fdd6e1fe6d52158d1b0231678073ace5e.zip | |
Minor bug fixes.
Diffstat (limited to 'src/aig/gia')
| -rw-r--r-- | src/aig/gia/giaSatMap.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaSatMap.c b/src/aig/gia/giaSatMap.c index 0ddd4a39..5c17b74e 100644 --- a/src/aig/gia/giaSatMap.c +++ b/src/aig/gia/giaSatMap.c @@ -489,7 +489,7 @@ int Sbm_ManTestSat( void * pMan ) StartSol = Vec_IntSize(p->vSolCuts); // StartSol = 30; - while ( fKeepTrying ) + while ( fKeepTrying && StartSol-fKeepTrying > 0 ) { printf( "Trying to find mapping with %d gates.\n", StartSol-fKeepTrying ); // for ( i = Vec_IntSize(p->vSolCuts)-5; i < nVars; i++ ) |