void* thr2(void* arg) { if(__VERIFIER_nondet_int()) my_thread1(); else my_thread2(); return 0; }
int main(void) { __CPROVER_ASYNC_01: monitor(); while(1) { __CPROVER_ASYNC_02: my_thread1(); __CPROVER_ASYNC_03: my_thread2(); } }
void* thr2(void* arg) { if(/* reachable */ __VERIFIER_nondet_int()) my_thread1(); //else //my_thread2(); /* reachable */ return 0; }
int main(int argc, char** argv) { std::thread my_thread1(testGEX); my_thread1.join(); }