Skip to content

A
abc
Commit ca33481f by Alan Mishchenko
Options

Temporary debugging change.

parent bf97e901
Showing with 1 additions and 1 deletions
src/map/if/ifDec16.c
...@@ -689,7 +689,7 @@ void If_CluVerify3( word * pF, int nVars, If_Grp_t * g, If_Grp_t * g2, If_Grp_t ...@@ -689,7 +689,7 @@ void If_CluVerify3( word * pF, int nVars, If_Grp_t * g, If_Grp_t * g2, If_Grp_t
printf( "%d\n\n", TruthAll[0][0] ); printf( "%d\n\n", TruthAll[0][0] );
if ( TruthAll[0][0] == 0 ) // if ( TruthAll[0][0] == 0 )
If_CluInitTruthTables(); If_CluInitTruthTables();
for ( i = 0; i < g->nVars; i++ ) for ( i = 0; i < g->nVars; i++ )
......
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