From 53f223806f1c570b62a180e0eb3aed3a974c1677 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 6 Feb 2020 14:58:54 -0800
Subject: Temporary commenting out of the assertion.

---
 src/opt/lpk/lpkCore.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/opt/lpk/lpkCore.c b/src/opt/lpk/lpkCore.c
index 728aa2dd..cc6087e8 100644
--- 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 )
-- 
cgit v1.2.3