Merge pull request #368 from hriener/dau_fix

Increase buffer size to DAU_MAX_STR (=2000).
This commit is contained in:
alanminko 2025-02-15 05:30:48 +07:00 committed by GitHub
commit 0cbc9a851a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
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++;