diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-10-02 18:37:33 -0400 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-10-02 18:37:33 -0400 |
| commit | bc65461cc9bce96d3e6ff36b5fecd37fb3f3094b (patch) | |
| tree | 1f9d2a887b4bdf6edbab616a55a6178e88b43a64 /src/opt/dau | |
| parent | 5bb6d45615fa2f235ec7457582c5f1f667a8f872 (diff) | |
| download | abc-bc65461cc9bce96d3e6ff36b5fecd37fb3f3094b.tar.gz abc-bc65461cc9bce96d3e6ff36b5fecd37fb3f3094b.tar.bz2 abc-bc65461cc9bce96d3e6ff36b5fecd37fb3f3094b.zip | |
Experiments with Boolean functions.
Diffstat (limited to 'src/opt/dau')
| -rw-r--r-- | src/opt/dau/dauNpn2.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/dau/dauNpn2.c b/src/opt/dau/dauNpn2.c index e2cb97dc..bca65ad0 100644 --- a/src/opt/dau/dauNpn2.c +++ b/src/opt/dau/dauNpn2.c @@ -417,7 +417,7 @@ void Dtt_PrintMulti( Dtt_Man_t * p ) break; printf( "n=%2d : ", n ); printf( "All = %7d ", Count ); - printf( "Ave = %3d ", Total/Count ); + printf( "Ave = %6.2f ", 1.0*Total/Count ); for ( i = 0; i < 11; i++ ) if ( Counts[n][i] ) printf( "%6d", Counts[n][i] ); |