From aab1f31c7e3c181d2eee09001f1985689eb15dd3 Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Fri, 7 Jun 2019 13:41:07 +0100
Subject: [PATCH] Update
---
src/SogKripkeTh.cpp | 2 +-
src/main.cpp | 1 -
2 files changed, 1 insertion(+), 2 deletions(-)
diff --git a/src/SogKripkeTh.cpp b/src/SogKripkeTh.cpp
index 0e5f86d..f0dbf22 100644
--- a/src/SogKripkeTh.cpp
+++ b/src/SogKripkeTh.cpp
@@ -15,7 +15,7 @@ SogKripkeTh::SogKripkeTh(const bdd_dict_ptr &dict_ptr,ModelCheckerTh *builder):
SogKripkeIteratorTh::m_builder=builder;
SogKripkeStateTh::m_builder=builder;
SogKripkeIteratorTh::m_dict_ptr=&dict_ptr;
- //cout<<__func__<<endl;
+
}
SogKripkeTh::SogKripkeTh(const spot::bdd_dict_ptr& dict_ptr,ModelCheckerTh *builder,set<string> &l_transap,set<string> &l_placeap):SogKripkeTh(dict_ptr,builder) {
diff --git a/src/main.cpp b/src/main.cpp
index 36431c7..0e11bdf 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -362,7 +362,6 @@ int main(int argc, char** argv)
{
//cout<<" sequential version using Sylvan : 1 with BuDDy : 2 \n" <<endl;
cout<<"*************Distibuted version******************* \n" <<endl;
-
{
DistributedSOG DR(R, bound);
LDDGraph g(nullptr);
--
GitLab