diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-12 22:30:41 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-12 22:30:41 -0800 |
| commit | 03cd9e196b89d993f508a9aa5d4e6694c070e020 (patch) | |
| tree | a1f0a2ff18433083c1405d11dd12e965cd1120a4 /src/map/if/ifDec16.c | |
| parent | bca84be597380f1d46e068e704f65862d0c91e4a (diff) | |
| download | abc-03cd9e196b89d993f508a9aa5d4e6694c070e020.tar.gz abc-03cd9e196b89d993f508a9aa5d4e6694c070e020.tar.bz2 abc-03cd9e196b89d993f508a9aa5d4e6694c070e020.zip | |
Temporary debugging change.
Diffstat (limited to 'src/map/if/ifDec16.c')
| -rw-r--r-- | src/map/if/ifDec16.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c index d5ccf988..895051da 100644 --- a/src/map/if/ifDec16.c +++ b/src/map/if/ifDec16.c @@ -721,6 +721,7 @@ void If_CluVerify3( word * pF, int nVars, If_Grp_t * g, If_Grp_t * g2, If_Grp_t Kit_DsdPrintFromTruth( (unsigned*)pF, nVars ); printf( "\n" ); // Extra_PrintHex( stdout, (unsigned *)pF, nVars ); printf( "\n" ); printf( "Verification FAILED!\n" ); + fflush( stdout ); exit(1); } // else |