diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-02 11:02:24 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-02 11:02:24 -0700 |
| commit | f829eca5483d4bec52bc1f090f8e7def180b3454 (patch) | |
| tree | 56a49e862620dcdc97a2e0d3033ffc66d03332c3 | |
| parent | 7a7173c80e6c9777dc5345da6cc685c54310063b (diff) | |
| download | abc-f829eca5483d4bec52bc1f090f8e7def180b3454.tar.gz abc-f829eca5483d4bec52bc1f090f8e7def180b3454.tar.bz2 abc-f829eca5483d4bec52bc1f090f8e7def180b3454.zip | |
Changing default parameter in &if.
| -rw-r--r-- | src/aig/gia/giaIf.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index deab1a60..463732a4 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -66,7 +66,7 @@ void Gia_ManSetIfParsDefault( void * pp ) p->fPreprocess = 1; p->fArea = 0; p->fFancy = 0; - p->fExpRed = 0; //// + p->fExpRed = 1; //// p->fLatchPaths = 0; p->fEdge = 1; p->fPower = 0; |