Fixing a bug and adding verification of minimized counter-example.

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;
 }