diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-08 23:18:44 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-08 23:18:44 +0700 |
commit | 9daabedff5d8673ddee1c52f3c84b1b84cc0eb56 (patch) | |
tree | 1ed7c8653601648e63e5970db108956772bd2a43 /src/aig/kit/kitHop.c | |
parent | 924ec940fe1dbda99d9ff16b94dba9ec56015ca1 (diff) | |
download | abc-9daabedff5d8673ddee1c52f3c84b1b84cc0eb56.tar.gz abc-9daabedff5d8673ddee1c52f3c84b1b84cc0eb56.tar.bz2 abc-9daabedff5d8673ddee1c52f3c84b1b84cc0eb56.zip |
Fixing built-in resource limit when converting truth-tables to AIGs.
Diffstat (limited to 'src/aig/kit/kitHop.c')
-rw-r--r-- | src/aig/kit/kitHop.c | 5 |
1 files changed, 5 insertions, 0 deletions
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 ); |