Commit 323913fd by Alan Mishchenko

Improvements to CNF generation.

parent 44d9c7e5
...@@ -1032,7 +1032,7 @@ void Mf_ObjMergeOrder( Mf_Man_t * p, int iObj ) ...@@ -1032,7 +1032,7 @@ void Mf_ObjMergeOrder( Mf_Man_t * p, int iObj )
pBest->iCutSet = Mf_ManSaveCuts( p, pCutsR, nCutsR ); pBest->iCutSet = Mf_ManSaveCuts( p, pCutsR, nCutsR );
// verify // verify
assert( nCutsR > 0 && nCutsR < nCutNum ); assert( nCutsR > 0 && nCutsR < nCutNum );
assert( Mf_SetCheckArray(pCutsR, nCutsR) ); // assert( Mf_SetCheckArray(pCutsR, nCutsR) );
p->nCutCounts[pCutsR[0]->nLeaves]++; p->nCutCounts[pCutsR[0]->nLeaves]++;
p->CutCount[3] += nCutsR; p->CutCount[3] += nCutsR;
} }
......
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