luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update to "lutexact".

This commit is contained in:
Alan Mishchenko 2025-11-21 00:49:36 -08:00
parent 4bba0356fb
commit bde60f2a20
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/sat/bmc/bmcMaj8.c
View File

@ -791,7 +791,8 @@ int Exa8_ManExactSynthesisIter( Bmc_EsPar_t * pPars )
Vec_StrFree( vStr );
}
Result = Exa8_ManExactSynthesis(pPars);
if ( Result != 2 )
fflush( stdout );
if ( Result == 1 )
break;
}
return Result;