diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-02-06 14:58:54 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-02-06 14:58:54 -0800 |
| commit | 53f223806f1c570b62a180e0eb3aed3a974c1677 (patch) | |
| tree | 05d553d05689630710147d2aad1f8d00398dc982 /src/opt | |
| parent | 951afa27cb5f2621ddac2f003a4844288e01eddf (diff) | |
| download | abc-53f223806f1c570b62a180e0eb3aed3a974c1677.tar.gz abc-53f223806f1c570b62a180e0eb3aed3a974c1677.tar.bz2 abc-53f223806f1c570b62a180e0eb3aed3a974c1677.zip | |
Temporary commenting out of the assertion.
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/lpk/lpkCore.c | 2 |
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 ) |