From 02e9c5260343b407f2cc13612d49cf7737129fda Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Wed, 3 Jul 2019 02:02:35 +0100
Subject: [PATCH] Update
---
src/main.cpp | 14 ++++++++++----
1 file changed, 10 insertions(+), 4 deletions(-)
diff --git a/src/main.cpp b/src/main.cpp
index adb7c2f..178e8e7 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -304,10 +304,16 @@ int main(int argc, char** argv)
if(nb_th>1)
{
cout<<"**************Hybrid version**************** \n" <<endl;
- HybridSOG DR(R, bound);
-
- LDDGraph g(&DR);
- DR.computeDSOG(g);
+ if (strcmp(argv[1],"otf")) {
+ HybridSOG DR(R, bound);
+ LDDGraph g(&DR);
+ cout<<"Building the Distributed SOG"<<endl;
+ DR.computeDSOG(g);
+ }
+ else {
+ cout<<"Model checking on the fly..."<<endl;
+ }
+
}
else
{
--
GitLab