summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaIf.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2015-05-21 07:40:47 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2015-05-21 07:40:47 -0700
commit9eb8184e7478b357c62d41546c1c065549b7dd7d (patch)
treeb3432fa43b900af3b6c61438aeaa8929b8d78c9a /src/aig/gia/giaIf.c
parent3e1c831b2d58329153e2decacf50dd5be9309858 (diff)
downloadabc-9eb8184e7478b357c62d41546c1c065549b7dd7d.tar.gz
abc-9eb8184e7478b357c62d41546c1c065549b7dd7d.tar.bz2
abc-9eb8184e7478b357c62d41546c1c065549b7dd7d.zip
Copying prog cell data.
Diffstat (limited to 'src/aig/gia/giaIf.c')
-rw-r--r--src/aig/gia/giaIf.c5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index 487460bd..45d2b49f 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -2043,6 +2043,11 @@ void Gia_ManTransferTiming( Gia_Man_t * p, Gia_Man_t * pGia )
p->vNamesIn = pGia->vNamesIn; pGia->vNamesIn = NULL;
p->vNamesOut = pGia->vNamesOut; pGia->vNamesOut = NULL;
}
+ if ( pGia->vConfigs || pGia->pCellStr )
+ {
+ p->vConfigs = pGia->vConfigs; pGia->vConfigs = NULL;
+ p->pCellStr = pGia->pCellStr; pGia->pCellStr = NULL;
+ }
if ( pGia->pManTime == NULL || p == pGia )
return;
p->pManTime = pGia->pManTime; pGia->pManTime = NULL;