int main() { __CPROVER_ASYNC_1: thr1(0); __CPROVER_ASYNC_2: thr2(0); __CPROVER_ASYNC_3: thr3(0); return 0; }
int main(int argc, char** argv) { ThreadFunctor tf; std::thread thr(doit); std::thread thr2(doit2, 10); std::thread thr3(tf); thr.join(); thr2.join(); thr3.join(); std::vector<std::thread> threads; threads.push_back(std::thread(doit2, 1)); threads.push_back(std::thread(doit2, 2)); threads.push_back(std::thread(doit2, 3)); for (auto &thr:threads) { thr.join(); } printf("Nubmer of hardware thread contexts: %u\n", std::thread::hardware_concurrency()); return 0; }
int main() { __CPROVER_ASYNC_0: thr1(0); __CPROVER_ASYNC_1: thr2(0); __CPROVER_ASYNC_2: thr3(0); __CPROVER_ASYNC_3: thr4(0); //thr2(0); }
int main( ) { boost::thread thr1(boss); boost::thread thr2(worker); boost::thread thr3(worker); thr1.join( ); thr2.join( ); thr3.join( ); }
int main() { __CPROVER_ASYNC_0: thr0(0); __CPROVER_ASYNC_1: thr1(0); __CPROVER_ASYNC_2: thr2(0); __CPROVER_ASYNC_3: thr3(0); __CPROVER_ASYNC_4: thr4(0); //thr2(0); return 0; }
int main() { barrier barr(3); std::thread thr1(f, std::ref(barr)); std::thread thr2(f, std::ref(barr)); std::thread thr3(f, std::ref(barr)); thr1.join(); thr2.join(); thr3.join(); return 0; }
int main() { pthread_t pt1; pthread_create(&pt1,0,thr1,0); pthread_create(&pt1,0,thr2,0); thr3(0); pthread_join(pt1,0); //assert(counter==(ROUND<<1)); //assert(sum1+sum2>=0); assert(!((finished1 == 1) && (finished2 == 1) && (finished3 == 1)) || cs == 2); // __CPROVER_ASYNC_1: thr1(0); // thr2(0); }
static void test(void) { atomic_long_test at; mythread thr1(at), thr2(at), thr3(at); thr1.set_detachable(false); thr2.set_detachable(false); thr3.set_detachable(false); thr1.start(); thr2.start(); thr3.start(); thr1.wait(); thr2.wait(); thr3.wait(); }
int main() { __CPROVER_ASYNC_0: thr0(0); __CPROVER_ASYNC_1: thr1(0); __CPROVER_ASYNC_2: thr2(0); __CPROVER_ASYNC_3: thr3(0); __CPROVER_ASYNC_4: thr4(0); __CPROVER_ASYNC_5: thr5(0); __CPROVER_ASYNC_6: thr6(0); __CPROVER_ASYNC_7: thr7(0); __CPROVER_ASYNC_8: thr8(0); //thr2(0); return 0; }
int main (void) { CDUMMY thr1 (1), thr2 (2), thr3 (3); thr1.Start (); thr2.Start (); thr3.Start (); while (42) { #ifdef _WIN32 Sleep (1000); #else struct timeval tv = {2, 0}; ::select (0, 0x0, 0x0, 0x0, &tv); #endif printf ("%08x %08x %08x\n", thr1._cnt, thr2._cnt, thr3._cnt); } return 0; }