Commenting out problematic assertion in resub.

94a575a5 · Alan Mishchenko · a55cdded · 94a575a5
Commit 94a575a5 authored Nov 04, 2017 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/bool/dec/decAbc.c
+1 -1

No files found.
--- a/src/bool/dec/decAbc.c
+++ b/src/bool/dec/decAbc.c
@@ -250,7 +250,7 @@ void Dec_GraphUpdateNetwork( Abc_Obj_t * pRoot, Dec_Graph_t * pGraph, int fUpdat
    Abc_AigReplace( (Abc_Aig_t *)pNtk->pManFunc, pRoot, pRootNew, fUpdateLevel );
    // compare the gains
    nNodesNew = Abc_NtkNodeNum(pNtk);
-    assert( nGain <= nNodesOld - nNodesNew );
+    //assert( nGain <= nNodesOld - nNodesNew );
 }