diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-01 20:50:59 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-01 20:50:59 -0800 |
| commit | 7b1c25086b650aa0b86280ea8c97ececbac79732 (patch) | |
| tree | 8cc4cc28a9901ca91298f953eea9c8fb80cc9801 /src/base/abci | |
| parent | a704e9c9ff9470cd1af184c0f37d42198b86f419 (diff) | |
| download | abc-7b1c25086b650aa0b86280ea8c97ececbac79732.tar.gz abc-7b1c25086b650aa0b86280ea8c97ececbac79732.tar.bz2 abc-7b1c25086b650aa0b86280ea8c97ececbac79732.zip | |
Improvements and tuning of CBA.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abcDar.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index 8f01c9c1..ad857730 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -871,7 +871,7 @@ static inline Abc_Obj_t * Abc_NtkFromCellRead( Abc_Ntk_t * p, Vec_Int_t * vCopyL } Abc_Ntk_t * Abc_NtkFromCellMappedGia( Gia_Man_t * p ) { - int fFixDrivers = 0; + int fFixDrivers = 1; int fDuplicate = 1; int fVerbose = 1; Abc_Ntk_t * pNtkNew; |