diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-22 11:01:26 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-22 11:01:26 +0700 |
commit | 5f77e7ae8fb6ed29812aa67514109d961a61c112 (patch) | |
tree | 6040ad8c52a3c39ab80ac795accd15e043f2c04e | |
parent | 8095c2d1adc5af256108679917cc5e9591090489 (diff) | |
download | abc-5f77e7ae8fb6ed29812aa67514109d961a61c112.tar.gz abc-5f77e7ae8fb6ed29812aa67514109d961a61c112.tar.bz2 abc-5f77e7ae8fb6ed29812aa67514109d961a61c112.zip |
Bug fix in saving AIG attributes in &save and &load.
-rw-r--r-- | src/aig/gia/giaDup.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index 81362276..801d4453 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -624,6 +624,12 @@ Gia_Man_t * Gia_ManDupWithAttributes( Gia_Man_t * p ) pNew->pAigExtra = Gia_ManDup( p->pAigExtra ); if ( p->nAnd2Delay ) pNew->nAnd2Delay = p->nAnd2Delay; + if ( p->vRegClasses ) + pNew->vRegClasses = Vec_IntDup( p->vRegClasses ); + if ( p->vConfigs ) + pNew->vConfigs = Vec_IntDup( p->vConfigs ); + if ( p->pCellStr ) + pNew->pCellStr = Abc_UtilStrsav( p->pCellStr ); return pNew; } |