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 | |
| parent | 023e92c4700283d4de6e60c5b5054c2d2452b98f (diff) | |
| download | abc-043cfcd775d067eadc400b7af40347e170a3774b.tar.gz abc-043cfcd775d067eadc400b7af40347e170a3774b.tar.bz2 abc-043cfcd775d067eadc400b7af40347e170a3774b.zip | |
Concurrency for Boolean matching.
Diffstat (limited to 'src/proof')
| -rw-r--r-- | src/proof/abs/absPth.c | 2 | ||||
| -rw-r--r-- | src/proof/cec/cecSplit.c | 12 |
2 files changed, 11 insertions, 3 deletions
diff --git a/src/proof/abs/absPth.c b/src/proof/abs/absPth.c index bd3f2dcb..f04a20d1 100644 --- a/src/proof/abs/absPth.c +++ b/src/proof/abs/absPth.c @@ -194,7 +194,7 @@ int Gia_GlaProveCheck( int fVerbose ) return 1; } -#endif +#endif // pthreads are used //////////////////////////////////////////////////////////////////////// /// END OF FILE /// 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 /// //////////////////////////////////////////////////////////////////////// |