Improvements to Cba data-structure.

src/base/abci/abc.c

@@ -10260,6 +10260,7 @@ int Abc_CommandCover( Abc_Frame_t * pAbc, int argc, char ** argv )
 usage:
     Abc_Print( -2, "usage: cover [-N num] [-sxvh]\n" );
     Abc_Print( -2, "\t         decomposition into a network of SOP/ESOP PLAs\n" );
+    Abc_Print( -2, "\t         (this command is known to have bugs)\n");
     Abc_Print( -2, "\t-N num : maximum number of inputs [default = %d]\n", nFaninMax );
     Abc_Print( -2, "\t-s     : toggle the use of SOPs [default = %s]\n", fUseSop? "yes": "no" );
     Abc_Print( -2, "\t-x     : toggle the use of ESOPs [default = %s]\n", fUseEsop? "yes": "no" );

src/base/io/ioReadPla.c

@@ -500,14 +500,14 @@ Abc_Ntk_t * Io_ReadPlaNetwork( Extra_FileReader_t * p, int fZeros, int fBoth )
             pCubeOut = (char *)vTokens->pArray[1];
             if ( strlen(pCubeIn) != (unsigned)nInputs )
             {
-                printf( "%s (line %d): Input cube length (%zu) differs from the number of inputs (%d).\n",
+                printf( "%s (line %d): Input cube length (%d) differs from the number of inputs (%d).\n",
                     Extra_FileReaderGetFileName(p), iLine, strlen(pCubeIn), nInputs );
                 Abc_NtkDelete( pNtk );
                 return NULL;
             }
             if ( strlen(pCubeOut) != (unsigned)nOutputs )
             {
-                printf( "%s (line %d): Output cube length (%zu) differs from the number of outputs (%d).\n",
+                printf( "%s (line %d): Output cube length (%d) differs from the number of outputs (%d).\n",
                     Extra_FileReaderGetFileName(p), iLine, strlen(pCubeOut), nOutputs );
                 Abc_NtkDelete( pNtk );
                 Extra_ProgressBarStop( pProgress );