summaryrefslogtreecommitdiffstats
path: root/src/opt/sfm
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2016-06-17 20:21:39 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2016-06-17 20:21:39 -0700
commitc912875261ae9da7e6ffeeb3466b7d467ee4b010 (patch)
tree0e3a46ed58faa5e382ad23f81e8ae2148af7f446 /src/opt/sfm
parent92a448e6abeffbfa8288b64aeeac80f432cb82f1 (diff)
downloadabc-c912875261ae9da7e6ffeeb3466b7d467ee4b010.tar.gz
abc-c912875261ae9da7e6ffeeb3466b7d467ee4b010.tar.bz2
abc-c912875261ae9da7e6ffeeb3466b7d467ee4b010.zip
New command 'phase_map'.
Diffstat (limited to 'src/opt/sfm')
-rw-r--r--src/opt/sfm/sfmArea.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/sfm/sfmArea.c b/src/opt/sfm/sfmArea.c
index f957438e..68a8c142 100644
--- a/src/opt/sfm/sfmArea.c
+++ b/src/opt/sfm/sfmArea.c
@@ -295,7 +295,7 @@ void Abc_ObjChangePerform( Abc_Obj_t * pObj, Vec_Int_t * vInfo, Vec_Int_t * vFir
assert( Abc_ObjFanoutNum(pObj) == 0 );
Abc_NtkDeleteObj(pObj);
pObj = pFanin;
- assert( fUseInv == 0 );
+// assert( fUseInv == 0 );
}
else
Abc_ObjChangeUpdate( pObj, iFanin, pCells, pNodeInfo, vTemp );