Increase buffer size to DAU_MAX_STR (=2000).

This commit is contained in:
Heinz Riener 2025-02-14 15:49:17 +01:00
parent 7bd782382e
commit 80eecea409
1 changed files with 1 additions and 1 deletions

View File

@ -444,7 +444,7 @@ int Dsm_ManTruthToGia( void * p, word * pTruth, Vec_Int_t * vLeaves, Vec_Int_t *
int fDelayBalance = 1;
Gia_Man_t * pGia = (Gia_Man_t *)p;
int nSizeNonDec;
char pDsd[1000];
char pDsd[DAU_MAX_STR];
word pTruthCopy[DAU_MAX_WORD];
Abc_TtCopy( pTruthCopy, pTruth, Abc_TtWordNum(Vec_IntSize(vLeaves)), 0 );
m_Calls++;