From f2370e62cde5daffcd0a75c0e95b2050ed63d414 Mon Sep 17 00:00:00 2001
From: weiyu <weiyuluo1232@gmail.com>
Date: Fri, 8 Nov 2019 15:22:00 -0800
Subject: [PATCH] Bug fixing
---
model.cc | 1 +
1 file changed, 1 insertion(+)
diff --git a/model.cc b/model.cc
index 1e3dd2de..cffaea87 100644
--- a/model.cc
+++ b/model.cc
@@ -462,6 +462,7 @@ void ModelChecker::run()
if (t->just_woken_up()) {
t->set_wakeup_state(false);
t->set_pending(NULL);
+ t = NULL;
continue; // Allow this thread to stash the next pending action
}
--
2.34.1