From 68ca4ec009c3b7d1ee4be814bf7fac9d10c1fc14 Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Mon, 10 Jun 2019 23:36:59 +0100
Subject: [PATCH] =?UTF-8?q?=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20=20=20?=
=?UTF-8?q?=20src/LDDState.h=20=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20=20?=
=?UTF-8?q?=20=20src/ModelCheckerTh.cpp?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
src/LDDState.h | 2 +-
src/ModelCheckerTh.cpp | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/LDDState.h b/src/LDDState.h
index 074a253..aa8f5d7 100755
--- a/src/LDDState.h
+++ b/src/LDDState.h
@@ -28,7 +28,7 @@ class LDDState {
unsigned char m_SHA2[81];
unsigned char* getSHAValue();
bool m_boucle=false;
- bool m_blocage;
+ bool m_blocage=false;
bool isVirtual();
diff --git a/src/ModelCheckerTh.cpp b/src/ModelCheckerTh.cpp
index 02f933f..b5ca2cb 100644
--- a/src/ModelCheckerTh.cpp
+++ b/src/ModelCheckerTh.cpp
@@ -230,7 +230,7 @@ ModelCheckerTh::~ModelCheckerTh() {
m_finish=true;
pthread_barrier_wait(&m_barrier_threads);
pthread_barrier_wait(&m_barrier_builder);
- for (int i = 0; i < m_nb_thread-1; i++)
+ for (int i = 0; i < m_nb_thread; i++)
{
pthread_join(m_list_thread[i], NULL);
}
--
GitLab