diff options
| -rw-r--r-- | src/aig/gia/giaKf.c | 2 | ||||
| -rw-r--r-- | src/base/abci/abc.c | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/gia/giaKf.c b/src/aig/gia/giaKf.c index f071bb72..83480272 100644 --- a/src/aig/gia/giaKf.c +++ b/src/aig/gia/giaKf.c @@ -952,7 +952,7 @@ void Kf_ManComputeMapping( Kf_Man_t * p ) if ( p->pPars->fVerbose ) { printf( "Aig: CI = %d CO = %d AND = %d ", Gia_ManCiNum(p->pGia), Gia_ManCoNum(p->pGia), Gia_ManAndNum(p->pGia) ); - printf( "LutSize = %d CutMax = %d Hash = %d\n", p->pPars->nLutSize, p->pPars->nCutNum, p->pPars->fCutHashing ); + printf( "LutSize = %d CutMax = %d Threads = %d\n", p->pPars->nLutSize, p->pPars->nCutNum, p->pPars->nProcNum ); printf( "Computing cuts...\r" ); fflush( stdout ); } diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 98bdb647..e1e68e3c 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -30407,9 +30407,9 @@ int Abc_CommandAbc9Kf( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -1, "Command line switch \"-P\" should be followed by a positive integer.\n" ); goto usage; } - pPars->nProcNumMax = atoi(argv[globalUtilOptind]); + pPars->nProcNum = atoi(argv[globalUtilOptind]); globalUtilOptind++; - if ( pPars->nProcNumMax < 0 ) + if ( pPars->nProcNum < 0 ) goto usage; break; case 'R': |