From 16a3c5fc30dddd3dfeb8c815fda22b608a0bf8ce Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 9 Dec 2023 21:53:48 +0800
Subject: [PATCH] Add copying names in &saveaig and &loadaig.

---
 src/aig/gia/giaDup.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c
index db4072d71..dbedca099 100644
--- a/src/aig/gia/giaDup.c
+++ b/src/aig/gia/giaDup.c
@@ -788,6 +788,11 @@ Gia_Man_t * Gia_ManDupWithAttributes( Gia_Man_t * p )
         pNew->vConfigs = Vec_IntDup( p->vConfigs );
     if ( p->pCellStr )
         pNew->pCellStr = Abc_UtilStrsav( p->pCellStr );
+    // copy names if present
+    if ( p->vNamesIn )
+        pNew->vNamesIn = Vec_PtrDupStr( p->vNamesIn );
+    if ( p->vNamesOut )
+        pNew->vNamesOut = Vec_PtrDupStr( p->vNamesOut );        
     return pNew;
 }
 Gia_Man_t * Gia_ManDupRemovePis( Gia_Man_t * p, int nRemPis )