From a4064b8b733825720fd95e8864ff5e4d76599610 Mon Sep 17 00:00:00 2001 From: Mike Inouye Date: Fri, 30 May 2025 18:14:47 +0000 Subject: [PATCH] Prevent merged scl filename size from growing unbounded, which limits upper bound of files loaded. --- src/map/scl/sclLibScl.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/map/scl/sclLibScl.c b/src/map/scl/sclLibScl.c index 144ec7f55..18a4b8a57 100644 --- a/src/map/scl/sclLibScl.c +++ b/src/map/scl/sclLibScl.c @@ -875,7 +875,7 @@ SC_Lib * Abc_SclMergeLibraries( SC_Lib * pLib1, SC_Lib * pLib2, int fUsePrefix ) SC_Lib * p = Abc_SclReadFromStr( vOut ); p->pFileName = Abc_UtilStrsav( pLib1->pFileName ); p->pName = ABC_ALLOC( char, strlen(pLib1->pName) + strlen(pLib2->pName) + 10 ); - sprintf( p->pName, "%s__and__%s", pLib1->pName, pLib2->pName ); + sprintf( p->pName, "merged_lib_size_%d", p->vCells.nSize ); Vec_StrFree( vOut ); printf( "Updated library \"%s\" with additional %d cells from library \"%s\".\n", pLib1->pName, n_valid_cells2, pLib2->pName ); return p;