From 61eabdb86ab3a0a9a3051bd0bbf4dfed2172fdce Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Tue, 12 Feb 2013 18:12:17 -0800
Subject: [PATCH] model: add 'pending' assertion

We don't want to clobber a pending action.
---
 model.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/model.cc b/model.cc
index 97f235c..01e4c49 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");
-- 
2.34.1