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/acecPa.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/acecPa.c')
-rw-r--r-- | src/proof/acec/acecPa.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/proof/acec/acecPa.c b/src/proof/acec/acecPa.c index 11d68d37..ecaf2047 100644 --- a/src/proof/acec/acecPa.c +++ b/src/proof/acec/acecPa.c @@ -248,13 +248,13 @@ int Pas_ManComputeCuts( Gia_Man_t * p, Vec_Int_t * vAdds, Vec_Int_t * vOrder, Ve ***********************************************************************/ void Pas_ManComputeCutsTest( Gia_Man_t * p ) { - 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 ); extern Vec_Int_t * Gia_PolynCoreOrder( Gia_Man_t * pGia, Vec_Int_t * vAdds, Vec_Int_t * vAddCos, Vec_Int_t ** pvIns, Vec_Int_t ** pvOuts ); extern int Ree_ManCountFadds( Vec_Int_t * vAdds ); extern void Ree_ManPrintAdders( Vec_Int_t * vAdds, int fVerbose ); abctime clk = Abc_Clock(); - Vec_Int_t * vAdds = Ree_ManComputeCuts( p, 1 ); + Vec_Int_t * vAdds = Ree_ManComputeCuts( p, NULL, 1 ); Vec_Int_t * vIns, * vOuts; Vec_Int_t * vOrder = Gia_PolynCoreOrder( p, vAdds, NULL, &vIns, &vOuts ); int nTrees, nFadds = Ree_ManCountFadds( vAdds ); |