From 043cfcd775d067eadc400b7af40347e170a3774b Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 18 Sep 2014 11:46:14 -0700 Subject: Concurrency for Boolean matching. --- src/proof/abs/absPth.c | 2 +- src/proof/cec/cecSplit.c | 12 ++++++++++-- 2 files changed, 11 insertions(+), 3 deletions(-) (limited to 'src/proof') 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 #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 /// //////////////////////////////////////////////////////////////////////// -- cgit v1.2.3