From 2e025d64bb8c7d1a6b9fbedf89c16aaa2b8e28e3 Mon Sep 17 00:00:00 2001
From: chihebabid <chiheb.abid@fst.utm.tn>
Date: Mon, 5 Sep 2022 12:48:45 +0100
Subject: [PATCH] Fix some bugs
---
src/algorithm/CNDFS.cpp | 1 -
src/algorithm/CNDFS.h | 2 +-
2 files changed, 1 insertion(+), 2 deletions(-)
diff --git a/src/algorithm/CNDFS.cpp b/src/algorithm/CNDFS.cpp
index f805b33..2af21e6 100644
--- a/src/algorithm/CNDFS.cpp
+++ b/src/algorithm/CNDFS.cpp
@@ -201,7 +201,6 @@ void CNDFS::dfsBlue(myState_t *state, vector<myState_t *> &Rp, uint8_t idThread,
computeSuccessors(state, ap_sog);
for (const auto &succ: state->new_successors) {
-// cout << "cyan " << succ.first->cyan[idThread] << endl;
if (!succ.first->blue && !succ.first->cyan[idThread]) {
dfsBlue(succ.first, Rp, idThread, ap_sog);
}
diff --git a/src/algorithm/CNDFS.h b/src/algorithm/CNDFS.h
index 3a4d27f..cfabb88 100644
--- a/src/algorithm/CNDFS.h
+++ b/src/algorithm/CNDFS.h
@@ -18,7 +18,7 @@
using namespace std;
typedef pair<struct myState_t *, int> coupleSuccessor;
-static constexpr uint8_t MAX_THREADS = 64;
+static constexpr uint8_t MAX_THREADS = 128;
enum class SuccState {notyet,doing,done};
struct myState_t {
--
GitLab