Skip to content

A
abc
Commit 034fc5a1 by Alan Mishchenko
Options

Misc changes.

parent 77b83074
Showing with 4 additions and 3 deletions
src/aig/gia/giaUtil.c
...@@ -992,8 +992,8 @@ void Gia_ManVerifyChoices( Gia_Man_t * p ) ...@@ -992,8 +992,8 @@ void Gia_ManVerifyChoices( Gia_Man_t * p )
printf( "Fanin 0 of CO node %d has a repr.\n", i ), fProb = 1; printf( "Fanin 0 of CO node %d has a repr.\n", i ), fProb = 1;
} }
} }
if ( !fProb ) // if ( !fProb )
printf( "GIA with choices is correct.\n" ); // printf( "GIA with choices is correct.\n" );
} }
/**Function************************************************************* /**Function*************************************************************
......
src/map/if/ifDec16.c
...@@ -2054,7 +2054,8 @@ int If_CutPerformCheck16( If_Man_t * p, unsigned * pTruth, int nVars, int nLeave ...@@ -2054,7 +2054,8 @@ int If_CutPerformCheck16( If_Man_t * p, unsigned * pTruth, int nVars, int nLeave
if ( If_CutTruthMinimize( p, pCut ) >= 2 ) if ( If_CutTruthMinimize( p, pCut ) >= 2 )
return 0; return 0;
nLeaves = pCut->nLeaves; nLeaves = pCut->nLeaves;
If_CluCopy( (word *)pTruth, (word *)If_CutTruth(pCut), nVars ); // If_CluCopy( (word *)pTruth, (word *)If_CutTruth(pCut), nVars );
pTruth = If_CutTruth(pCut);
} }
// quit if parameters are wrong // quit if parameters are wrong
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment