diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-09-08 08:53:52 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-09-08 08:53:52 +0700 |
| commit | 70694628d2ed5260bb5bd4456d077d903a011c05 (patch) | |
| tree | 3b21d415cdb342545a1d6a374424aa818684bb0b /src | |
| parent | a525dfba6ce1b091aadf8566a52c6f15f77bbaaf (diff) | |
| download | abc-70694628d2ed5260bb5bd4456d077d903a011c05.tar.gz abc-70694628d2ed5260bb5bd4456d077d903a011c05.tar.bz2 abc-70694628d2ed5260bb5bd4456d077d903a011c05.zip | |
Sequential cleanup with symbolic/ternary simulation (bug fix).
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/aig/aigTsim.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/aig/aigTsim.c b/src/aig/aig/aigTsim.c index c6a8b986..5e711ff6 100644 --- a/src/aig/aig/aigTsim.c +++ b/src/aig/aig/aigTsim.c @@ -499,7 +499,7 @@ Aig_Man_t * Aig_ManConstReduce( Aig_Man_t * p, int fUseMvSweep, int nFramesSymb, { Aig_Man_t * pTemp; Vec_Ptr_t * vMap; - while ( 1 ) + while ( Aig_ManRegNum(p) > 0 ) { if ( fUseMvSweep ) vMap = Saig_MvManSimulate( p, nFramesSymb, nFramesSatur, fVerbose, fVeryVerbose ); |