diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-18 17:28:20 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-18 17:28:20 -0700 |
| commit | 9842a666e6c1d2546c940c48bbd6602a448bc01b (patch) | |
| tree | 493f1b83b6f05c9589497670e72dd5a830c7abf6 /src/aig/gia | |
| parent | 590f74e9c1cd927108a8db2f601302eaa098993c (diff) | |
| download | abc-9842a666e6c1d2546c940c48bbd6602a448bc01b.tar.gz abc-9842a666e6c1d2546c940c48bbd6602a448bc01b.tar.bz2 abc-9842a666e6c1d2546c940c48bbd6602a448bc01b.zip | |
Experiments with CNF generation.
Diffstat (limited to 'src/aig/gia')
| -rw-r--r-- | src/aig/gia/giaJf.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/aig/gia/giaJf.c b/src/aig/gia/giaJf.c index 08ad17c7..b5aa7787 100644 --- a/src/aig/gia/giaJf.c +++ b/src/aig/gia/giaJf.c @@ -397,7 +397,10 @@ void Jf_ManFree( Jf_Man_t * p ) if ( p->pPars->fVerbose && p->pDsd ) Sdm_ManPrintDsdStats( p->pDsd, 0 ); if ( p->pPars->fVerbose && p->vTtMem ) - printf( "Unique truth tables = %d. Memory = %.2f MB\n", Vec_MemEntryNum(p->vTtMem), Vec_MemMemory(p->vTtMem) / (1<<20) ); + { + printf( "Unique truth tables = %d. Memory = %.2f MB ", Vec_MemEntryNum(p->vTtMem), Vec_MemMemory(p->vTtMem) / (1<<20) ); + Abc_PrintTime( 1, "Time", Abc_Clock() - p->clkStart ); + } if ( p->pPars->fVeryVerbose && p->pPars->fCutMin && p->pPars->fFuncDsd ) Jf_ManProfileClasses( p ); if ( p->pPars->fCoarsen ) |