diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-07 22:05:02 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-07 22:05:02 -0800 |
commit | 55c5c1b58f3f9cd1b534ad11dbec6ba7a7813194 (patch) | |
tree | 4e9293e7b646d0065413939e622f583d023c4c3f /src/base/wlc/wlcNtk.c | |
parent | d7099e7adc60190dfef9761130bde0eaf352b48d (diff) | |
download | abc-55c5c1b58f3f9cd1b534ad11dbec6ba7a7813194.tar.gz abc-55c5c1b58f3f9cd1b534ad11dbec6ba7a7813194.tar.bz2 abc-55c5c1b58f3f9cd1b534ad11dbec6ba7a7813194.zip |
Added SMT parser for Wlc_Ntk_t.
Diffstat (limited to 'src/base/wlc/wlcNtk.c')
-rw-r--r-- | src/base/wlc/wlcNtk.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/wlc/wlcNtk.c b/src/base/wlc/wlcNtk.c index 90287781..8c09467e 100644 --- a/src/base/wlc/wlcNtk.c +++ b/src/base/wlc/wlcNtk.c @@ -471,7 +471,9 @@ Wlc_Ntk_t * Wlc_NtkDupDfs( Wlc_Ntk_t * p ) Wlc_NtkDupDfs_rec( pNew, p, Wlc_ObjId(p, pObj), vFanins ); Wlc_NtkForEachCo( p, pObj, i ) Wlc_ObjSetCo( pNew, Wlc_ObjCopyObj(pNew, p, pObj), pObj->fIsFi ); + if ( p->vInits ) pNew->vInits = Vec_IntDup( p->vInits ); + if ( p->pInits ) pNew->pInits = Abc_UtilStrsav( p->pInits ); Vec_IntFree( vFanins ); return pNew; |