diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-05-20 17:27:53 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-05-20 17:27:53 +0700 |
| commit | c6af9094c092170b14d735097cdf805b90105287 (patch) | |
| tree | 7cad398e7cc88aa2e07fd8a0856a3e25b1333c0f /src/aig/gia/giaIf.c | |
| parent | 38214f01c20227cfca6617c4b2ac55e090ec47fa (diff) | |
| download | abc-c6af9094c092170b14d735097cdf805b90105287.tar.gz abc-c6af9094c092170b14d735097cdf805b90105287.tar.bz2 abc-c6af9094c092170b14d735097cdf805b90105287.zip | |
Changing 'if' to allow for delay optimization on sequential paths only.
Diffstat (limited to 'src/aig/gia/giaIf.c')
| -rw-r--r-- | src/aig/gia/giaIf.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 2d8799da..2ae7dab8 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -70,7 +70,8 @@ void Gia_ManSetIfParsDefault( If_Par_t * pPars ) pPars->fVerbose = 0; // internal parameters pPars->fTruth = 0; - pPars->nLatches = 0; + pPars->nLatchesCi = 0; + pPars->nLatchesCo = 0; pPars->fLiftLeaves = 0; // pPars->pLutLib = Abc_FrameReadLibLut(); pPars->pLutLib = NULL; |