From 6456d16b06aaa44c08055911e84ca47baa0e8387 Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Mon, 30 Mar 2020 14:58:52 +0100
Subject: [PATCH] =?UTF-8?q?=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20=20=20?=
=?UTF-8?q?=20CMakeLists.txt=20=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20=20?=
=?UTF-8?q?=20=20src/SogKripkeTh.cpp?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
CMakeLists.txt | 10 +++++-----
src/SogKripkeTh.cpp | 4 ++--
2 files changed, 7 insertions(+), 7 deletions(-)
diff --git a/CMakeLists.txt b/CMakeLists.txt
index bda527f..668dedc 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -33,7 +33,7 @@ if(NOT SPOT_LIBRARY)
ExternalProject_Add(SpotLibrary
PREFIX ${SPOT_DIR}
- URL http://www.lrde.epita.fr/dload/spot/spot-2.8.5.tar.gz
+ URL http://www.lrde.epita.fr/dload/spot/spot-2.8.7.tar.gz
DOWNLOAD_NO_PROGRESS YES
CONFIGURE_COMMAND ./configure --disable-doxygen --disable-python --enable-silent-rules --silent --prefix=<INSTALL_DIR>
BUILD_COMMAND make -j
@@ -42,11 +42,11 @@ if(NOT SPOT_LIBRARY)
include_directories("${SPOT_DIR}/include")
else ()
- message(STATUS "Found spot: ${SPOT_LIBRARY}")
- message(STATUS "Found bddx: ${BDDX_LIBRARY}")
+ message(STATUS "Found spot: ${SPOT_LIBRARY}")
+ message(STATUS "Found bddx: ${BDDX_LIBRARY}")
- find_path(SPOT_INCLUDE_PATH "spot")
- include_directories("${SPOT_INCLUDE_PATH}")
+ find_path(SPOT_INCLUDE_PATH "spot")
+ include_directories("${SPOT_INCLUDE_PATH}")
endif()
# add source folder
diff --git a/src/SogKripkeTh.cpp b/src/SogKripkeTh.cpp
index b11c542..9cb4ccc 100644
--- a/src/SogKripkeTh.cpp
+++ b/src/SogKripkeTh.cpp
@@ -56,13 +56,13 @@ SogKripkeIteratorTh* SogKripkeTh::succ_iter(const spot::state* s) const {
auto ss = static_cast<const SogKripkeStateTh*>(s);
LDDState *aggregate=ss->getLDDState();
bdd cond = state_condition(ss);
- if (iter_cache_)
+ /*if (iter_cache_)
{
auto it = static_cast<SogKripkeIteratorTh*>(iter_cache_);
iter_cache_ = nullptr; // empty the cache
it->recycle(aggregate, cond);
return it;
- }
+ }*/
return new SogKripkeIteratorTh(aggregate,cond);
--
GitLab