diff options
-rw-r--r-- | src/aig/kit/kitGraph.c | 2 | ||||
-rw-r--r-- | src/aig/kit/kitHop.c | 5 |
2 files changed, 6 insertions, 1 deletions
diff --git a/src/aig/kit/kitGraph.c b/src/aig/kit/kitGraph.c index 5cc63a96..e4eea885 100644 --- a/src/aig/kit/kitGraph.c +++ b/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 ); diff --git a/src/aig/kit/kitHop.c b/src/aig/kit/kitHop.c index 0dad6295..9dfa67a8 100644 --- a/src/aig/kit/kitHop.c +++ b/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 ); |