diff options
Diffstat (limited to 'src/opt/kit/kitGraph.c')
| -rw-r--r-- | src/opt/kit/kitGraph.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/opt/kit/kitGraph.c b/src/opt/kit/kitGraph.c index e2deb4ef..8bc7ca91 100644 --- a/src/opt/kit/kitGraph.c +++ b/src/opt/kit/kitGraph.c @@ -357,6 +357,8 @@ 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) > 128 ) + return NULL; // printf( "Isop size = %d.\n", Vec_IntSize(vMemory) ); assert( RetValue == 0 || RetValue == 1 ); // derive factored form |