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

Added report about exceeding the conflict limit in 'ind'.

This commit is contained in:
Alan Mishchenko 2011-07-19 11:16:53 +07:00
parent fbd6a08e73
commit 5e7de1f80a
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/aig/saig/saigInd.c
View File

@ -318,7 +318,9 @@ nextrun:
}
if ( fVerbose )
{
if ( fUnique || fUniqueAll )
if ( status == l_Undef )
printf( "Conflict limit (%d) was reached during iteration %d.\n", nConfMax, f+1 );
else if ( fUnique || fUniqueAll )
printf( "Completed %d interations and added %d uniqueness constraints.\n", f+1, nConstrs );
else
printf( "Completed %d interations.\n", f+1 );