diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-08 19:01:46 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-08 19:01:46 -0700 |
commit | 652b2792345978c34ea614800b76996930a21a49 (patch) | |
tree | 5a793c54ab67aa7817ed37da4197760a9bc0a58a /src/proof/acec/acecCore.c | |
parent | 4771b598c0fcba1e762aec28f9c561af5d214a96 (diff) | |
download | abc-652b2792345978c34ea614800b76996930a21a49.tar.gz abc-652b2792345978c34ea614800b76996930a21a49.tar.bz2 abc-652b2792345978c34ea614800b76996930a21a49.zip |
Experiments with CEC for arithmetic circuits.
Diffstat (limited to 'src/proof/acec/acecCore.c')
-rw-r--r-- | src/proof/acec/acecCore.c | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/proof/acec/acecCore.c b/src/proof/acec/acecCore.c index bfece8dc..991067d8 100644 --- a/src/proof/acec/acecCore.c +++ b/src/proof/acec/acecCore.c @@ -44,10 +44,12 @@ ABC_NAMESPACE_IMPL_START ***********************************************************************/ int Gia_PolynCec( Gia_Man_t * pGia0, Gia_Man_t * pGia1, Cec_ParCec_t * pPars ) { - Vec_Int_t * vOrder0 = Gia_PolynReorder( pGia0, pPars->fVerbose ); - Vec_Int_t * vOrder1 = Gia_PolynReorder( pGia1, pPars->fVerbose ); - Gia_PolynBuild( pGia0, vOrder0, pPars->fVerbose ); - Gia_PolynBuild( pGia1, vOrder1, pPars->fVerbose ); + Vec_Int_t * vOrder0 = Gia_PolynReorder( pGia0, pPars->fVerbose, pPars->fVeryVerbose ); + Vec_Int_t * vOrder1 = Gia_PolynReorder( pGia1, pPars->fVerbose, pPars->fVeryVerbose ); + Gia_PolynBuild( pGia0, vOrder0, pPars->fVerbose, pPars->fVeryVerbose ); + Gia_PolynBuild( pGia1, vOrder1, pPars->fVerbose, pPars->fVeryVerbose ); + Vec_IntFree( vOrder0 ); + Vec_IntFree( vOrder1 ); return 1; } |