7 #include "model-assert.h"
12 static void a(void *obj)
15 for (i = 0; i < N; i++)
16 atomic_fetch_add_explicit(&x, 1, memory_order_relaxed);
19 int user_main(int argc, char **argv)
27 thrd_create(&t1, (thrd_start_t)&a, NULL);
28 thrd_create(&t2, (thrd_start_t)&a, NULL);
33 MODEL_ASSERT(atomic_load(&x) == N * 2);