Sequential cleanup with symbolic/ternary simulation (bug fix).

70694628 · Alan Mishchenko · a525dfba · 70694628
Commit 70694628 authored Sep 08, 2011 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/aig/aig/aigTsim.c
+1 -1

No files found.
--- 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 );