Skip to content

A
abc
Commit 53f22380 by Alan Mishchenko
Options

Temporary commenting out of the assertion.

parent 951afa27
Showing with 1 additions and 1 deletions
src/opt/lpk/lpkCore.c
...@@ -546,7 +546,7 @@ p->timeEval += Abc_Clock() - clk; ...@@ -546,7 +546,7 @@ p->timeEval += Abc_Clock() - clk;
if ( pObjNew ) if ( pObjNew )
{ {
int nGain = (int)pCut->nNodes - (int)pCut->nNodesDup - (nNodesAft - nNodesBef); 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 ); assert( Abc_ObjLevel(pObjNew) <= Required );
/* /*
if ( nGain <= 0 ) if ( nGain <= 0 )
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment