diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-12 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-12 08:01:00 -0700 |
commit | cb899ec848984b194a9c227c7a01f147454ce591 (patch) | |
tree | 74c5f6cd7c75961cf142b6a4c0002d8decd80d0a /src/aig/saig/saigInter.c | |
parent | 47036e1e44fb5f4e1948cdc26ab10254ccaa161d (diff) | |
download | abc-cb899ec848984b194a9c227c7a01f147454ce591.tar.gz abc-cb899ec848984b194a9c227c7a01f147454ce591.tar.bz2 abc-cb899ec848984b194a9c227c7a01f147454ce591.zip |
Version abc80512
Diffstat (limited to 'src/aig/saig/saigInter.c')
-rw-r--r-- | src/aig/saig/saigInter.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/aig/saig/saigInter.c b/src/aig/saig/saigInter.c index c3bb0875..3adcc568 100644 --- a/src/aig/saig/saigInter.c +++ b/src/aig/saig/saigInter.c @@ -566,6 +566,14 @@ p->timeCnf += clock() - clk; // iterate the interpolation procedure for ( i = 0; ; i++ ) { + if ( p->nFrames + i >= 100 ) + { + if ( fVerbose ) + printf( "Reached limit (%d) on the number of timeframes.\n", 100 ); + p->timeTotal = clock() - clkTotal; + Saig_ManagerFree( p ); + return -1; + } // perform interplation clk = clock(); RetValue = Saig_PerformOneStep( p ); |