From 475ad6369727785b61f9561fdba7c3acc759c60f Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Fri, 15 Mar 2013 12:03:14 -0700 Subject: [PATCH] test: rmwprog: add MODEL_ASSERT Might as well improve this 'litmus' test. --- test/rmwprog.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/test/rmwprog.c b/test/rmwprog.c index 57ab5446..ebace1ec 100644 --- a/test/rmwprog.c +++ b/test/rmwprog.c @@ -4,6 +4,7 @@ #include #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; } -- 2.34.1