Fixing built-in resource limit when converting truth-tables to AIGs.

src/aig/kit/kitGraph.c

@@ -360,7 +360,7 @@ Kit_Graph_t * Kit_TruthToGraph( unsigned * pTruth, int nVars, Vec_Int_t * vMemor
     RetValue = Kit_TruthIsop( pTruth, nVars, vMemory, 1 ); // tried 1 and found not useful in "renode"
     if ( RetValue == -1 )
         return NULL;
-    if ( Vec_IntSize(vMemory) > 1024 )
+    if ( Vec_IntSize(vMemory) > (1<<16) )
         return NULL;
 //    printf( "Isop size = %d.\n", Vec_IntSize(vMemory) );
     assert( RetValue == 0 || RetValue == 1 );

src/aig/kit/kitHop.c

@@ -111,6 +111,11 @@ Hop_Obj_t * Kit_TruthToHop( Hop_Man_t * pMan, unsigned * pTruth, int nVars, Vec_
     }
     else
         pGraph = Kit_TruthToGraph( pTruth, nVars, vMemory );
+    if ( pGraph == NULL )
+    {
+        printf( "Kit_TruthToHop(): Converting truth table to AIG has failed for function:\n" );
+        Kit_DsdPrintFromTruth( pTruth, nVars ); printf( "\n" );
+    }
     // derive the AIG for the decomposition tree
     pObj = Kit_GraphToHop( pMan, pGraph );
     Kit_GraphFree( pGraph );