summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2020-02-06 14:58:54 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2020-02-06 14:58:54 -0800
commit53f223806f1c570b62a180e0eb3aed3a974c1677 (patch)
tree05d553d05689630710147d2aad1f8d00398dc982
parent951afa27cb5f2621ddac2f003a4844288e01eddf (diff)
downloadabc-53f223806f1c570b62a180e0eb3aed3a974c1677.tar.gz
abc-53f223806f1c570b62a180e0eb3aed3a974c1677.tar.bz2
abc-53f223806f1c570b62a180e0eb3aed3a974c1677.zip
Temporary commenting out of the assertion.
-rw-r--r--src/opt/lpk/lpkCore.c2
1 files changed, 1 insertions, 1 deletions
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 )