diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-01-15 08:01:00 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-01-15 08:01:00 -0800 |
commit | 93aedd2c5155478de7602db4db2c2df4c73e32e0 (patch) | |
tree | b0d3cd0a54e6f0b555bd82e44112fd2ec935f19c /src/base/abci/abcIvy.c | |
parent | 8dfe404863427d5e7b18d055ffd78b453835f959 (diff) | |
download | abc-93aedd2c5155478de7602db4db2c2df4c73e32e0.tar.gz abc-93aedd2c5155478de7602db4db2c2df4c73e32e0.tar.bz2 abc-93aedd2c5155478de7602db4db2c2df4c73e32e0.zip |
Version abc70115
Diffstat (limited to 'src/base/abci/abcIvy.c')
-rw-r--r-- | src/base/abci/abcIvy.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcIvy.c b/src/base/abci/abcIvy.c index 9ce1ad26..610f5b5c 100644 --- a/src/base/abci/abcIvy.c +++ b/src/base/abci/abcIvy.c @@ -199,7 +199,7 @@ Abc_Ntk_t * Abc_NtkIvyHaig( Abc_Ntk_t * pNtk, int nIters, int fUseZeroCost, int // for ( i = 0; i < nIters; i++ ) // Ivy_ManRewriteSeq( pMan, fUseZeroCost, 0 ); Ivy_ManRewriteSeq( pMan, 0, 0 ); - Ivy_ManRewriteSeq( pMan, 1, 0 ); +// Ivy_ManRewriteSeq( pMan, 1, 0 ); //printf( "Haig size = %d.\n", Ivy_ManNodeNum(pMan->pHaig) ); // Ivy_ManHaigPostprocess( pMan, fVerbose ); //timeRetime = clock() - timeRetime; |