diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-11 11:07:34 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-11 11:07:34 -0700 |
commit | 6e8efec57d5ef07ca33a3cefc3c1e6c3f7c70856 (patch) | |
tree | a932d3800b3dcd220173982289f5bc0c01613a4c /src/proof/acec/acecCore.c | |
parent | c89f987dc7aeea7efa4506503446fd22a1cfd7d3 (diff) | |
download | abc-6e8efec57d5ef07ca33a3cefc3c1e6c3f7c70856.tar.gz abc-6e8efec57d5ef07ca33a3cefc3c1e6c3f7c70856.tar.bz2 abc-6e8efec57d5ef07ca33a3cefc3c1e6c3f7c70856.zip |
Experiments with CEC for arithmetic circuits.
Diffstat (limited to 'src/proof/acec/acecCore.c')
-rw-r--r-- | src/proof/acec/acecCore.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/proof/acec/acecCore.c b/src/proof/acec/acecCore.c index 991067d8..ac7ee67b 100644 --- a/src/proof/acec/acecCore.c +++ b/src/proof/acec/acecCore.c @@ -46,8 +46,8 @@ int Gia_PolynCec( Gia_Man_t * pGia0, Gia_Man_t * pGia1, Cec_ParCec_t * pPars ) { 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 ); + Gia_PolynBuild( pGia0, vOrder0, 0, pPars->fVerbose, pPars->fVeryVerbose ); + Gia_PolynBuild( pGia1, vOrder1, 0, pPars->fVerbose, pPars->fVeryVerbose ); Vec_IntFree( vOrder0 ); Vec_IntFree( vOrder1 ); return 1; |