diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-14 22:51:28 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-14 22:51:28 -0700 |
commit | 426b1d2d43a9d3f2eef61ffc49239cbe60a3b23d (patch) | |
tree | 18655b689fd4eb87249c6af93e93f823b964082c /src/aig/gia | |
parent | 6de83eb3b6c92bcf0889350456bfdcfde88e58b7 (diff) | |
download | abc-426b1d2d43a9d3f2eef61ffc49239cbe60a3b23d.tar.gz abc-426b1d2d43a9d3f2eef61ffc49239cbe60a3b23d.tar.bz2 abc-426b1d2d43a9d3f2eef61ffc49239cbe60a3b23d.zip |
Enabling LUT decomposition in two special cases.
Diffstat (limited to 'src/aig/gia')
-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 b0b7b1b4..0cf97f26 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -235,7 +235,7 @@ void Gia_ManPrintMappingStats( Gia_Man_t * p ) Abc_Print( 1, "lev =%5d ", LevelMax ); Abc_Print( 1, "mem =%5.2f MB", 4.0*(Gia_ManObjNum(p) + 2*nLuts + nFanins)/(1<<20) ); Abc_Print( 1, "\n" ); - +/* { char * pFileName = "stats_map.txt"; static char FileNameOld[1000] = {0}; @@ -262,7 +262,7 @@ void Gia_ManPrintMappingStats( Gia_Man_t * p ) } fclose( pTable ); } - +*/ } /**Function************************************************************* |