diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-18 11:46:14 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-18 11:46:14 -0700 |
commit | 043cfcd775d067eadc400b7af40347e170a3774b (patch) | |
tree | 1647cd5ad61b95dd391a2c523e383a87e35d14ef /src/proof/cec | |
parent | 023e92c4700283d4de6e60c5b5054c2d2452b98f (diff) | |
download | abc-043cfcd775d067eadc400b7af40347e170a3774b.tar.gz abc-043cfcd775d067eadc400b7af40347e170a3774b.tar.bz2 abc-043cfcd775d067eadc400b7af40347e170a3774b.zip |
Concurrency for Boolean matching.
Diffstat (limited to 'src/proof/cec')
-rw-r--r-- | src/proof/cec/cecSplit.c | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/src/proof/cec/cecSplit.c b/src/proof/cec/cecSplit.c index e5e9a9a4..0984c234 100644 --- a/src/proof/cec/cecSplit.c +++ b/src/proof/cec/cecSplit.c @@ -26,7 +26,7 @@ #include "misc/util/utilTruth.h" //#include "bdd/cudd/cuddInt.h" -//#ifdef ABC_USE_PTHREADS +#ifdef ABC_USE_PTHREADS #ifdef _WIN32 #include "../lib/pthread.h" @@ -35,7 +35,7 @@ #include <unistd.h> #endif -//#endif +#endif ABC_NAMESPACE_IMPL_START @@ -44,6 +44,12 @@ ABC_NAMESPACE_IMPL_START /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// +#ifndef ABC_USE_PTHREADS + +int Cec_GiaSplitTest( Gia_Man_t * p, int nProcs, int nTimeOut, int nIterMax, int LookAhead, int fVerbose, int fVeryVerbose ) { return -1; } + +#else // pthreads are used + //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// @@ -822,6 +828,8 @@ void Cec_GiaPrintCofStats2( Gia_Man_t * p ) } } +#endif // pthreads are used + //////////////////////////////////////////////////////////////////////// /// END OF FILE /// //////////////////////////////////////////////////////////////////////// |