diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-20 23:23:50 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-20 23:23:50 -0800 |
| commit | e11c5aa3a0e60ebf4f80a284c2a64958c55b9175 (patch) | |
| tree | b73c6d65c0479cb0600c446da0cc44da16001ffc /src | |
| parent | b096809458a4f8fd458a509c2ea38e9e9025f259 (diff) | |
| download | abc-e11c5aa3a0e60ebf4f80a284c2a64958c55b9175.tar.gz abc-e11c5aa3a0e60ebf4f80a284c2a64958c55b9175.tar.bz2 abc-e11c5aa3a0e60ebf4f80a284c2a64958c55b9175.zip | |
Integrating sweeping information.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaIf.c | 4 |
1 files 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) ); |