diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-19 11:16:53 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-19 11:16:53 +0700 |
| commit | 5e7de1f80a04588b1f8995270e8220fe494e62f0 (patch) | |
| tree | a75bc5a85ad96ad1a17365b8f2e0d2c610de1bef /src/aig/saig/saigInd.c | |
| parent | fbd6a08e73d7b38f38b5f514191a7b3904e50557 (diff) | |
| download | abc-5e7de1f80a04588b1f8995270e8220fe494e62f0.tar.gz abc-5e7de1f80a04588b1f8995270e8220fe494e62f0.tar.bz2 abc-5e7de1f80a04588b1f8995270e8220fe494e62f0.zip | |
Added report about exceeding the conflict limit in 'ind'.
Diffstat (limited to 'src/aig/saig/saigInd.c')
| -rw-r--r-- | src/aig/saig/saigInd.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/aig/saig/saigInd.c b/src/aig/saig/saigInd.c index e22adba2..6bb29488 100644 --- a/src/aig/saig/saigInd.c +++ b/src/aig/saig/saigInd.c @@ -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 ); |