From 39bc4842e9a3e0c443df5e585bfdece76320870a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 6 Jul 2007 08:01:00 -0700 Subject: Version abc70706 --- src/opt/kit/kitGraph.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/opt/kit/kitGraph.c') diff --git a/src/opt/kit/kitGraph.c b/src/opt/kit/kitGraph.c index 1123b90e..e2deb4ef 100644 --- a/src/opt/kit/kitGraph.c +++ b/src/opt/kit/kitGraph.c @@ -354,9 +354,10 @@ Kit_Graph_t * Kit_TruthToGraph( unsigned * pTruth, int nVars, Vec_Int_t * vMemor Kit_Graph_t * pGraph; int RetValue; // derive SOP - RetValue = Kit_TruthIsop( pTruth, nVars, vMemory, 0 ); // tried 1 and found not useful in "renode" + RetValue = Kit_TruthIsop( pTruth, nVars, vMemory, 1 ); // tried 1 and found not useful in "renode" if ( RetValue == -1 ) return NULL; +// printf( "Isop size = %d.\n", Vec_IntSize(vMemory) ); assert( RetValue == 0 || RetValue == 1 ); // derive factored form pGraph = Kit_SopFactor( vMemory, RetValue, nVars, vMemory ); -- cgit v1.2.3