From efe334d00e8502affd55c99f2ee1fcfbee1e56db Mon Sep 17 00:00:00 2001
From: Ghofrane Amaimi <ghofraneeamaimi@gmail.com>
Date: Thu, 21 Jul 2022 13:47:57 +0200
Subject: [PATCH] cycle detected without buddy
---
src/main.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main.cpp b/src/main.cpp
index a201e03..cc0fddc 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -526,7 +526,7 @@ int main(int argc, char **argv)
if (algorithm == "UFSCC" || algorithm == "CNDFS")
{
std::cout<<"------------CNDFS-------------"<<std::endl;
- CNDFS cndfs(mcl,af,1); // If I increase the number of threads, a segmentation fault appears.
+ CNDFS cndfs(mcl,af,2); // If I increase the number of threads, a segmentation fault appears.
return(0);
}
else // run on the fly sequential model-checking
--
GitLab