Temporary commenting out of the assertion.

berkeley-abc · Feb 6, 2020 · 53f2238 · 53f2238
1 parent 951afa2
commit 53f2238
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/opt/lpk/lpkCore.c b/src/opt/lpk/lpkCore.c
@@ -546,7 +546,7 @@ p->timeEval += Abc_Clock() - clk;
         if ( pObjNew )
         {
             int nGain = (int)pCut->nNodes - (int)pCut->nNodesDup - (nNodesAft - nNodesBef);
-            assert( nGain >= 1 - p->pPars->fZeroCost );
+            //assert( nGain >= 1 - p->pPars->fZeroCost );
             assert( Abc_ObjLevel(pObjNew) <= Required );
 /*
             if ( nGain <= 0 )