Bug fix in &fraig.

d13bbe5b · Alan Mishchenko · f2945e12 · d13bbe5b
Commit d13bbe5b authored Mar 03, 2011 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 1 deletions

src/aig/cec/cecCore.c
+4 -1

No files found.
--- a/src/aig/cec/cecCore.c
+++ b/src/aig/cec/cecCore.c
@@ -436,9 +436,12 @@ p->timeSat += clock() - clk;

        // update the manager
        pSim->pAig = p->pAig = Gia_ManEquivReduceAndRemap( pTemp = p->pAig, 0, pParsSim->fDualOut );
-        Gia_ManStop( pTemp );
        if ( p->pAig == NULL )
+        {
+            p->pAig = pTemp;
            break;
+        }
+        Gia_ManStop( pTemp );
        if ( p->pPars->fVerbose )
        {
            Abc_Print( 1, "%3d : P =%7d. D =%7d. F =%6d. M = %7d. And =%8d. ",