From: Brian Demsky <bdemsky@uci.edu>
Date: Mon, 18 Mar 2013 23:46:31 +0000 (-0700)
Subject: Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker
X-Git-Tag: oopsla2013~137
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=bee1e27429b9a66e414eb83cf14e2089dd40a79e;hp=20bd61033eebcda2b311f47bffafec2c6e0754a7;p=model-checker.git

Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker
---

diff --git a/test/rmwprog.c b/test/rmwprog.c
index 57ab544..ebace1e 100644
--- a/test/rmwprog.c
+++ b/test/rmwprog.c
@@ -4,6 +4,7 @@
 #include <stdatomic.h>
 
 #include "librace.h"
+#include "model-assert.h"
 
 atomic_int x;
 static int N = 2;
@@ -29,5 +30,7 @@ int user_main(int argc, char **argv)
 	thrd_join(t1);
 	thrd_join(t2);
 
+	MODEL_ASSERT(atomic_load(&x) == N * 2);
+
 	return 0;
 }