diff options
Diffstat (limited to 'src/aig/saig/saigAbsCba.c')
| -rw-r--r-- | src/aig/saig/saigAbsCba.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/saig/saigAbsCba.c b/src/aig/saig/saigAbsCba.c index 022c298b..4873eb64 100644 --- a/src/aig/saig/saigAbsCba.c +++ b/src/aig/saig/saigAbsCba.c @@ -763,9 +763,9 @@ Abc_CexPrintStats( pCare ); } // verify the reduced counter-example using ternary simulation if ( !Saig_ManCexVerifyUsingTernary( pAig, pCex, pCare ) ) - printf( "Saig_ManCbaFindCexCareBits(): Counter-example verification has failed!!!\n" ); + printf( "Saig_ManCbaFindCexCareBits(): Minimized counter-example verification has failed!!!\n" ); else if ( fVerbose ) - printf( "Saig_ManCbaFindCexCareBits(): Counter-example verification is successful.\n" ); + printf( "Saig_ManCbaFindCexCareBits(): Minimized counter-example verification is successful.\n" ); Aig_ManCleanMarkAB( pAig ); return pCare; } |