diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-10 16:58:24 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-10 16:58:24 +0700 |
commit | 5fbc0cd7f09a382241266404d78c18c5443d2b9d (patch) | |
tree | cb6bdfcceb7414b8d2637724dfeac0ffc152eeff /src/proof/acec/acecPa.c | |
parent | fbdf28e4c937067737d84db37ff6e1a65348df5f (diff) | |
download | abc-5fbc0cd7f09a382241266404d78c18c5443d2b9d.tar.gz abc-5fbc0cd7f09a382241266404d78c18c5443d2b9d.tar.bz2 abc-5fbc0cd7f09a382241266404d78c18c5443d2b9d.zip |
Updates to arithmetic verification.
Diffstat (limited to 'src/proof/acec/acecPa.c')
-rw-r--r-- | src/proof/acec/acecPa.c | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/src/proof/acec/acecPa.c b/src/proof/acec/acecPa.c index b59cdbef..6b382d91 100644 --- a/src/proof/acec/acecPa.c +++ b/src/proof/acec/acecPa.c @@ -248,11 +248,6 @@ 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, 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, NULL, 1 ); Vec_Int_t * vIns, * vOuts; @@ -273,22 +268,6 @@ void Pas_ManComputeCutsTest( Gia_Man_t * p ) Abc_PrintTime( 1, "Time", Abc_Clock() - clk ); } -/**Function************************************************************* - - Synopsis [] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -Acec_Box_t * Acec_DeriveBox( Gia_Man_t * p ) -{ - return NULL; -} - //////////////////////////////////////////////////////////////////////// /// END OF FILE /// //////////////////////////////////////////////////////////////////////// |