From 421362f70924e78468fc784ce388596dc9f4c062 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 4 May 2014 23:55:19 +0800 Subject: Bug fix in a recent code for mapping. --- src/base/abc/abcDfs.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/base/abc/abcDfs.c b/src/base/abc/abcDfs.c index 7eac765d..08b62389 100644 --- a/src/base/abc/abcDfs.c +++ b/src/base/abc/abcDfs.c @@ -985,7 +985,7 @@ Vec_Ptr_t * Abc_AigDfsMap( Abc_Ntk_t * pNtk ) if ( i >= Abc_NtkCoNum(pNtk) - pNtk->nBarBufs ) break; Abc_AigDfs_rec( Abc_ObjFanin0(pNode), vNodes ); - assert( Abc_ObjIsPo(pNode) ); + assert( Abc_ObjIsCo(pNode) ); Abc_NodeSetTravIdCurrent( pNode ); } return vNodes; -- cgit v1.2.3