Experiments with Boolean functions.

bc65461c · Alan Mishchenko · 5bb6d456 · bc65461c
Commit bc65461c authored Oct 02, 2018 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/opt/dau/dauNpn2.c
+1 -1

No files found.
--- 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] );