diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-06-16 14:52:20 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-06-16 14:52:20 -0700 |
commit | f4a267d5815e5041c499e12322d70d7996093473 (patch) | |
tree | c3e91686171a4b60a4e284dd178b4629575e32a2 /src/opt/lpk/lpkCore.c | |
parent | 15939511df8ff1ce15f2112cee01d7693234f2a4 (diff) | |
download | abc-f4a267d5815e5041c499e12322d70d7996093473.tar.gz abc-f4a267d5815e5041c499e12322d70d7996093473.tar.bz2 abc-f4a267d5815e5041c499e12322d70d7996093473.zip |
Bug fix in 'lutpack' (level count overflow).
Diffstat (limited to 'src/opt/lpk/lpkCore.c')
-rw-r--r-- | src/opt/lpk/lpkCore.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/opt/lpk/lpkCore.c b/src/opt/lpk/lpkCore.c index 6595b365..27912a9a 100644 --- a/src/opt/lpk/lpkCore.c +++ b/src/opt/lpk/lpkCore.c @@ -451,6 +451,7 @@ p->timeTruth3 += Abc_Clock() - clk; printf( "%c=%d ", 'a'+k, Abc_ObjLevel(pLeaf) ); printf( "\n" ); Kit_DsdPrintFromTruth( pTruth, pCut->nLeaves ); + printf( "\n" ); // pFileName = Kit_TruthDumpToFile( pTruth, pCut->nLeaves, Count++ ); // printf( "Saved truth table in file \"%s\".\n", pFileName ); } |