user_main: pass remaining arguments to the user program

[model-checker.git] / test / rmwprog.c

diff --git a/test/rmwprog.c b/test/rmwprog.c
index c3a5ea82fb328b793b967707b2a2c3ec2cb38990..a74ae426ca95df7e90f63424d4aaaa3a327e7292 100644 (file)
--- a/test/rmwprog.c
+++ b/test/rmwprog.c
@@ -12,7 +12,7 @@ static void a(void *obj)
        atomic_fetch_add_explicit(&x, 1, memory_order_relaxed);
 }
 
-void user_main()
+int user_main(int argc, char **argv)
 {
        thrd_t t1, t2;
 
@@ -22,4 +22,6 @@ void user_main()
 
        thrd_join(t1);
        thrd_join(t2);
+
+       return 0;
 }