test: rmwprog: add MODEL_ASSERT
authorBrian Norris <banorris@uci.edu>
Fri, 15 Mar 2013 19:03:14 +0000 (12:03 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 15 Mar 2013 19:03:14 +0000 (12:03 -0700)
Might as well improve this 'litmus' test.

test/rmwprog.c

index 57ab544..ebace1e 100644 (file)
@@ -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;
 }