// SKIP PARAM: --set solver td3 --set ana.activated "['base','threadid','threadflag','mallocWrapper','apron','escape']" --set ana.path_sens[+] threadflag --set ana.base.privatization none --set ana.apron.privatization mutex-meet-tid
// Copy of 45 01 for apron
#include <pthread.h>
#include <assert.h>
#include <stdio.h>
#include <unistd.h>
int g, h;

void *foo(void* p){
    sleep(2);
    int* ip = ((int*) p);
    printf("ip is %d\n", *ip);
    *ip = 42;
    return NULL;
}

int main(){
    int x = 0;
    int *xp = &x;
    pthread_t thread;
    int y;
    g = y;
    h = y;
    pthread_create(&thread, NULL, foo, xp);
    sleep(4); // to make sure that we actually fail the assert when running.
    assert(x == 42); //UNKNOWN!
    assert(x == 0); //UNKNOWN!
    assert(x <= 50);
    assert(g==h);
    pthread_join(thread, NULL);
    return 0;
}

Add example that should work
Add example that should work
