Bug fix in supergate generation.

This commit is contained in:
Alan Mishchenko 2023-02-05 14:41:18 -08:00
parent 086321a232
commit e7ecaee92d
1 changed files with 5 additions and 2 deletions

View File

@ -147,9 +147,12 @@ void Super_Precompute( Mio_Library_t * pLibGen, int nVarsMax, int nLevels, int n
return;
}
vStr = Super_PrecomputeStr( pLibGen, nVarsMax, nLevels, nGatesMax, tDelayMax, tAreaMax, TimeLimit, fSkipInv, fVerbose );
fwrite( Vec_StrArray(vStr), 1, Vec_StrSize(vStr), pFile );
if ( vStr )
{
fwrite( Vec_StrArray(vStr), 1, Vec_StrSize(vStr), pFile );
Vec_StrFree( vStr );
}
fclose( pFile );
Vec_StrFree( vStr );
// report the result of writing
if ( fVerbose )
{