diff options
Diffstat (limited to 'src/map')
| -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 606fb912..d5ccf988 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" ); + exit(1); } // else // printf( "Verification succeed!\n" ); |