From: weiyu <weiyuluo1232@gmail.com>
Date: Fri, 8 Nov 2019 23:22:00 +0000 (-0800)
Subject: Bug fixing
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=f2370e62cde5daffcd0a75c0e95b2050ed63d414

Bug fixing
---

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
 			}