From 53155cc8e55b7fc11cb49eae5352496a0c6e5627 Mon Sep 17 00:00:00 2001
From: Ghofrane Amaimi <ghofraneeamaimi@gmail.com>
Date: Sat, 30 Apr 2022 17:56:46 +0200
Subject: [PATCH] add cndfs option
---
src/algorithm/cndfs.cpp | 0
src/algorithm/cndfs.h | 0
src/main.cpp | 12 ++++++++++--
3 files changed, 10 insertions(+), 2 deletions(-)
create mode 100644 src/algorithm/cndfs.cpp
create mode 100644 src/algorithm/cndfs.h
diff --git a/src/algorithm/cndfs.cpp b/src/algorithm/cndfs.cpp
new file mode 100644
index 0000000..e69de29
diff --git a/src/algorithm/cndfs.h b/src/algorithm/cndfs.h
new file mode 100644
index 0000000..e69de29
diff --git a/src/main.cpp b/src/main.cpp
index 3befe09..ccb6414 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -5,7 +5,6 @@
#include <fstream>
#include <mpi.h>
#include <CLI11.hpp>
-
#include "LDDGraph.h"
#include <spot/kripke/kripke.hh>
#include "MCMultiCore/ModelCheckerCPPThread.h"
@@ -498,6 +497,7 @@ int main(int argc, char **argv)
**************************************************************************/
if (n_tasks == 1)
{
+ cout<< "Hello Multi-core version" <<endl;
// On-the-fly multi-core model checking
if (!explicit_mc)
{
@@ -515,7 +515,14 @@ int main(int argc, char **argv)
// TODO: Implement here Ghofrane's algorithms
if (algorithm == "UFSCC" || algorithm == "CNDFS")
{
- runOnTheFlyParallelMC(algorithm);
+
+ cout << "HELLO" << endl;
+ exit(0);
+ //runOnTheFlyParallelMC(algorithm);
+// auto k = std::make_shared<SogKripkeTh>(d, mcl, Rnewnet.getListTransitionAP(), Rnewnet.getListPlaceAP());
+// runOnTheFlyMC("Cou99", k, af);
+// cout << mcl->getGraph()->getInitialAggregate()->getSuccessors() <<endl;
+// cout << mcl->getGraph()->getInitialAggregate()->isVisited() <<endl;
}
else // run on the fly sequential model-checking
{
@@ -602,6 +609,7 @@ int main(int argc, char **argv)
**************************************************************************/
else
{
+ cout << "hello hybrid version" <<endl;
if (task_id == 0)
cout << "\n************** Hybrid version ****************\n"
<< endl;
--
GitLab