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;
}
