Bug fixing
authorweiyu <weiyuluo1232@gmail.com>
Fri, 8 Nov 2019 23:22:00 +0000 (15:22 -0800)
committerweiyu <weiyuluo1232@gmail.com>
Fri, 8 Nov 2019 23:22:00 +0000 (15:22 -0800)
model.cc

index 1e3dd2d..cffaea8 100644 (file)
--- 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
                        }