Bug fix in saving AIG attributes in &save and &load.

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;
 }