From 2c9937e0dd4b3ae5eb8afee34414200677f528d3 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 10 May 2023 15:05:08 -0700 Subject: [PATCH] Small bug in managing AIG manager name. --- src/aig/gia/giaDup.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index 75efb9e92..1c5133867 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -5428,7 +5428,7 @@ Gia_Man_t * Gia_ManDupWithCare( Gia_Man_t * p, Gia_Man_t * pCare ) assert( Gia_ManRegNum(p) == 0 ); assert( Gia_ManRegNum(pCare) == 0 ); pNew = Gia_ManStart( 2*Gia_ManObjNum(p) + Gia_ManObjNum(pCare) ); - pNew->pName = Abc_UtilStrsavTwo( pNew->pName, "_care" ); + pNew->pName = Abc_UtilStrsavTwo( pNew->pName ? pNew->pName : (char *)"test", (char *)"_care" ); Gia_ManConst0(pCare)->Value = 0; Gia_ManForEachCi( pCare, pObj, i ) pObj->Value = Gia_ManAppendCi( pNew );