// SKIP PARAM: --enable ana.int.interval
// requires reuse of final local value for global restart
#include <pthread.h>
#include <goblint.h>

int g;

void* t_fun(void *arg) {
    int x = g;
    if (x < 10) {
        x++;
        g = x;
    }
    return NULL;
}

int main() {
    pthread_t id;
    pthread_create(&id, NULL, t_fun, NULL);

    int x = g;
    __goblint_check(x <= 10);
    return 0;
}