From 443fd91df4ad9b88d5ec88a29f80008911b4a917 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Sat, 2 Mar 2013 15:03:58 -0800
Subject: [PATCH] model: bugfix - adding a Promise reader can cause failure

---
 model.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/model.cc b/model.cc
index aba71772..38d08d98 100644
--- a/model.cc
+++ b/model.cc
@@ -882,7 +882,8 @@ bool ModelChecker::process_read(ModelAction *curr)
 		}
 		case READ_FROM_PROMISE: {
 			Promise *promise = curr->get_node()->get_read_from_promise();
-			promise->add_reader(curr);
+			if (promise->add_reader(curr))
+				priv->failed_promise = true;
 			value = promise->get_value();
 			curr->set_read_from_promise(promise);
 			mo_graph->startChanges();
-- 
2.34.1