From e11c5aa3a0e60ebf4f80a284c2a64958c55b9175 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 20 Feb 2013 23:23:50 -0800 Subject: Integrating sweeping information. --- src/aig/gia/giaIf.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index d113920a..54af1224 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -944,8 +944,8 @@ Gia_Man_t * Gia_ManFromIfStr( If_Man_t * pIfMan ) Vec_IntFree( vCover ); Vec_IntFree( vLeaves ); Vec_IntFree( vLeaves2 ); - printf( "Mapping array size: IfMan = %d. Gia = %d. Increase = %.2f\n", - If_ManObjNum(pIfMan), Gia_ManObjNum(pNew), 1.0 * Gia_ManObjNum(pNew) / If_ManObjNum(pIfMan) ); +// printf( "Mapping array size: IfMan = %d. Gia = %d. Increase = %.2f\n", +// If_ManObjNum(pIfMan), Gia_ManObjNum(pNew), 1.0 * Gia_ManObjNum(pNew) / If_ManObjNum(pIfMan) ); // finish mapping if ( Vec_IntSize(vMapping) > Gia_ManObjNum(pNew) ) Vec_IntShrink( vMapping, Gia_ManObjNum(pNew) ); -- cgit v1.2.3