diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-04 13:05:51 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-04 13:05:51 -0800 |
commit | 91aab10757add03dc29e5b7d0d966f5784625949 (patch) | |
tree | 2b92e1e07c2794c511c86578e3ea87e1a40349ff /src/proof/acec/acecCo.c | |
parent | c88a2421b46288e4a4c74a72b906f81ea9ed00b1 (diff) | |
download | abc-91aab10757add03dc29e5b7d0d966f5784625949.tar.gz abc-91aab10757add03dc29e5b7d0d966f5784625949.tar.bz2 abc-91aab10757add03dc29e5b7d0d966f5784625949.zip |
Analysis of arithmetic logic cones.
Diffstat (limited to 'src/proof/acec/acecCo.c')
-rw-r--r-- | src/proof/acec/acecCo.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/proof/acec/acecCo.c b/src/proof/acec/acecCo.c index 39f092b2..1e8ed7bb 100644 --- a/src/proof/acec/acecCo.c +++ b/src/proof/acec/acecCo.c @@ -387,10 +387,10 @@ Gia_Man_t * Gia_PolynCoreDupTree( Gia_Man_t * p, Vec_Int_t * vAddCos, Vec_Int_t ***********************************************************************/ Gia_Man_t * Gia_PolynCoreDetectTest_int( Gia_Man_t * pGia, Vec_Int_t * vAddCos, int fAddCones, int fVerbose ) { - extern Vec_Int_t * Ree_ManComputeCuts( Gia_Man_t * p, int fVerbose ); + extern Vec_Int_t * Ree_ManComputeCuts( Gia_Man_t * p, Vec_Int_t ** pvXors, int fVerbose ); abctime clk = Abc_Clock(); Gia_Man_t * pNew; - Vec_Int_t * vAdds = Ree_ManComputeCuts( pGia, 1 ); + Vec_Int_t * vAdds = Ree_ManComputeCuts( pGia, NULL, 1 ); Vec_Int_t * vLeaves, * vRoots, * vOrder = Gia_PolynCoreOrder( pGia, vAdds, vAddCos, &vLeaves, &vRoots ); Vec_Int_t * vNodes = Gia_PolynCoreCollect( pGia, vAdds, vOrder ); |