From 236d412255e5007adac97c05e759bfd5069bc1c1 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 7 May 2016 19:47:02 -0700 Subject: Experiments with CEC for arithmetic circuits. --- src/base/wlc/wlcNtk.c | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/base/wlc/wlcNtk.c') diff --git a/src/base/wlc/wlcNtk.c b/src/base/wlc/wlcNtk.c index 2f3b07bf..442ddb83 100644 --- a/src/base/wlc/wlcNtk.c +++ b/src/base/wlc/wlcNtk.c @@ -223,6 +223,7 @@ void Wlc_NtkFree( Wlc_Ntk_t * p ) ABC_FREE( p->pInits ); ABC_FREE( p->pObjs ); ABC_FREE( p->pName ); + ABC_FREE( p->pSpec ); ABC_FREE( p ); } int Wlc_NtkMemUsage( Wlc_Ntk_t * p ) @@ -587,6 +588,8 @@ Wlc_Ntk_t * Wlc_NtkDupDfs( Wlc_Ntk_t * p ) if ( p->pInits ) pNew->pInits = Abc_UtilStrsav( p->pInits ); Vec_IntFree( vFanins ); + if ( p->pSpec ) + pNew->pSpec = Abc_UtilStrsav( p->pSpec ); return pNew; } void Wlc_NtkTransferNames( Wlc_Ntk_t * pNew, Wlc_Ntk_t * p ) @@ -658,6 +661,8 @@ Wlc_Ntk_t * Wlc_NtkDupSingleNodes( Wlc_Ntk_t * p ) } Vec_IntFree( vFanins ); Wlc_NtkTransferNames( pNew, p ); + if ( p->pSpec ) + pNew->pSpec = Abc_UtilStrsav( p->pSpec ); return pNew; } -- cgit v1.2.3