From: weiyu <weiyuluo1232@gmail.com>
Date: Tue, 20 Aug 2019 22:23:26 +0000 (-0700)
Subject: allow ModelHistory to process non-atomic actions when they are created
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=a46421375ee025acad83cf7cd612902d486987cb;p=c11tester.git

allow ModelHistory to process non-atomic actions when they are created
---

diff --git a/execution.cc b/execution.cc
index d477a04a..c6962bc0 100644
--- a/execution.cc
+++ b/execution.cc
@@ -280,6 +280,7 @@ ModelAction * ModelExecution::convertNonAtomicStore(void * location) {
 	add_normal_write_to_lists(act);
 	add_write_to_lists(act);
 	w_modification_order(act);
+	model->get_history()->process_action(act, act->get_tid());
 	return act;
 }