diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-23 11:05:26 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-23 11:05:26 -0700 |
| commit | f6eb5262a3176a97f4063f1c49a7d56545fcd53e (patch) | |
| tree | e7362b51b8e2f0b07b465be6405cc8ce3d2759ca /src/aig/gia/giaKf.c | |
| parent | c26f7cf331fb22dd8447109ba384358fb73ed148 (diff) | |
| download | abc-f6eb5262a3176a97f4063f1c49a7d56545fcd53e.tar.gz abc-f6eb5262a3176a97f4063f1c49a7d56545fcd53e.tar.bz2 abc-f6eb5262a3176a97f4063f1c49a7d56545fcd53e.zip | |
Experiments with mapping.
Diffstat (limited to 'src/aig/gia/giaKf.c')
| -rw-r--r-- | src/aig/gia/giaKf.c | 2 |
1 files changed, 1 insertions, 1 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 ); } |