diff options
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; } |