From: Brian Norris <banorris@uci.edu>
Date: Wed, 13 Feb 2013 02:12:17 +0000 (-0800)
Subject: model: add 'pending' assertion
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=61eabdb86ab3a0a9a3051bd0bbf4dfed2172fdce;p=c11tester.git

model: add 'pending' assertion

We don't want to clobber a pending action.
---

diff --git a/model.cc b/model.cc
index 97f235c4..01e4c491 100644
--- a/model.cc
+++ b/model.cc
@@ -2663,6 +2663,7 @@ uint64_t ModelChecker::switch_to_master(ModelAction *act)
 {
 	DBG();
 	Thread *old = thread_current();
+	ASSERT(!old->get_pending());
 	old->set_pending(act);
 	if (Thread::swap(old, &system_context) < 0) {
 		perror("swap threads");