test: rmwprog: add MODEL_ASSERT

Might as well improve this 'litmus' test.

diff --git a/test/rmwprog.c b/test/rmwprog.c
index 57ab54462bab9b03b48a87cf86578d06c8c5e070..ebace1ec262966d5d367afefd5dbaaddef168a26 100644 (file)
--- a/test/rmwprog.c
+++ b/test/rmwprog.c
@@ -4,6 +4,7 @@
 #include <stdatomic.h>
 
 #include "librace.h"
 #include <stdatomic.h>
 
 #include "librace.h"

+#include "model-assert.h"

 
 atomic_int x;
 static int N = 2;
 
 atomic_int x;
 static int N = 2;


@@ -29,5 +30,7 @@ int user_main(int argc, char **argv)
        thrd_join(t1);
        thrd_join(t2);
 
        thrd_join(t1);
        thrd_join(t2);
 

+       MODEL_ASSERT(atomic_load(&x) == N * 2);
+

        return 0;
 }
        return 0;
 }