diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-10-02 18:19:07 -0400 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-10-02 18:19:07 -0400 |
| commit | 5bb6d45615fa2f235ec7457582c5f1f667a8f872 (patch) | |
| tree | 88679b9783fbbd77277ada06f8d50236156e7678 /src/opt | |
| parent | 3c0b4b6f6628ad7854642ea5041c2cff51062d29 (diff) | |
| download | abc-5bb6d45615fa2f235ec7457582c5f1f667a8f872.tar.gz abc-5bb6d45615fa2f235ec7457582c5f1f667a8f872.tar.bz2 abc-5bb6d45615fa2f235ec7457582c5f1f667a8f872.zip | |
Experiments with Boolean functions.
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/dau/dauNpn2.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/opt/dau/dauNpn2.c b/src/opt/dau/dauNpn2.c index a1ccce69..e2cb97dc 100644 --- a/src/opt/dau/dauNpn2.c +++ b/src/opt/dau/dauNpn2.c @@ -405,7 +405,7 @@ void Dtt_PrintMulti( Dtt_Man_t * p ) if ( p->pNodes[i] == n ) { int Log = Abc_Base2Log(p->pTimes[i]); - assert( Log < 10 ); + assert( Log < 11 ); if ( p->pTimes[i] < 2 ) Counts[n][0]++; else @@ -416,13 +416,13 @@ void Dtt_PrintMulti( Dtt_Man_t * p ) if ( Count == 0 ) break; printf( "n=%2d : ", n ); - printf( "All = %6d ", Count ); - printf( "Ave = %6d ", Total/Count ); + printf( "All = %7d ", Count ); + printf( "Ave = %3d ", Total/Count ); for ( i = 0; i < 11; i++ ) if ( Counts[n][i] ) - printf( "%6d ", Counts[n][i] ); + printf( "%6d", Counts[n][i] ); else - printf( "%6s ", "" ); + printf( "%6s", "" ); printf( "\n" ); } } |