diff options
Diffstat (limited to 'src/opt/mfs/mfsMan.c')
| -rw-r--r-- | src/opt/mfs/mfsMan.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/opt/mfs/mfsMan.c b/src/opt/mfs/mfsMan.c index 99a60ef6..5f947aeb 100644 --- a/src/opt/mfs/mfsMan.c +++ b/src/opt/mfs/mfsMan.c @@ -122,6 +122,7 @@ void Mfs_ManPrint( Mfs_Man_t * p ) p->nNodesResub, Abc_NtkGetTotalFanins(p->pNtk), 1.00 * p->nNodesResub / Abc_NtkGetTotalFanins(p->pNtk) ); else Abc_NtkMfsPrintResubStats( p ); +// printf( "Average ratio of DCs in the resubed nodes = %.2f.\n", 1.0*p->nDcMints/(64 * p->nNodesResub) ); } else { |