diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-05 13:13:15 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-05 13:13:15 -0800 |
| commit | 4ff5203f4c8b341eb717b742bf1af51f64f31ccd (patch) | |
| tree | d3e814bd980de2c87db542d7e0929fded9db25b8 /src/proof | |
| parent | 0c9337f6276f8a56960f697b7361c978e3e50a41 (diff) | |
| download | abc-4ff5203f4c8b341eb717b742bf1af51f64f31ccd.tar.gz abc-4ff5203f4c8b341eb717b742bf1af51f64f31ccd.tar.bz2 abc-4ff5203f4c8b341eb717b742bf1af51f64f31ccd.zip | |
Improvements to the hierarchy/timing manager.
Diffstat (limited to 'src/proof')
| -rw-r--r-- | src/proof/llb/llb4Map.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/llb/llb4Map.c b/src/proof/llb/llb4Map.c index 4b46f308..4487ce25 100644 --- a/src/proof/llb/llb4Map.c +++ b/src/proof/llb/llb4Map.c @@ -68,7 +68,7 @@ Vec_Int_t * Llb_AigMap( Aig_Man_t * pAig, int nLutSize, int nLutMin ) // get timing information pPars->pTimesArr = Abc_NtkGetCiArrivalFloats(pNtk); - pPars->pTimesReq = NULL; + pPars->pTimesReq = Abc_NtkGetCoRequiredFloats(pNtk); // perform LUT mapping pIfMan = Abc_NtkToIf( pNtk, pPars ); |