diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-02-02 21:37:31 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-02-02 21:37:31 -0800 |
| commit | a6f8625d64e26087b24f9d86b7e7181a05884fda (patch) | |
| tree | 38e3e8ed749195efd318d3f9b537a6d62a7575c4 /src/aig | |
| parent | 6097ac1d1aa67732a98caab517a510731fb2f0b1 (diff) | |
| download | abc-a6f8625d64e26087b24f9d86b7e7181a05884fda.tar.gz abc-a6f8625d64e26087b24f9d86b7e7181a05884fda.tar.bz2 abc-a6f8625d64e26087b24f9d86b7e7181a05884fda.zip | |
Experiments with word-level data structures.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaMan.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index a40673a7..ec733b85 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -539,7 +539,7 @@ void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars ) Abc_Print( 1, " %s =%8d", p->pMuxes? "nod" : "and", Gia_ManAndNum(p) ); SetConsoleTextAttribute( hConsole, 13 ); // magenta Abc_Print( 1, " lev =%5d", Gia_ManLevelNum(p) ); - Abc_Print( 1, " (%.2f)", Gia_ManLevelAve(p) ); + Abc_Print( 1, " (%7.2f)", Gia_ManLevelAve(p) ); SetConsoleTextAttribute( hConsole, 7 ); // normal } #else |