C++ (Cpp) my_thread1 примеры использования

Пример #1

Файл: 33_double_lock_p1_vs_true-unreach-call.c Проект: oliverstth/sv-benchmarks

void* thr2(void* arg)
{
  if(__VERIFIER_nondet_int())
    my_thread1();
  else
    my_thread2();
  return 0;
}

Пример #2

Файл: main.c Проект: cryptica/pnerf

int main(void)
{
  __CPROVER_ASYNC_01: monitor();
  while(1)
  {
      __CPROVER_ASYNC_02: my_thread1();
      __CPROVER_ASYNC_03: my_thread2();
  }
}

Пример #3

Файл: 35_double_lock_p3_vs_true-unreach-call.c_anno.c_pyc.c Проект: heryxpc/prototype

void* thr2(void* arg)
{
  if(/* reachable */
     __VERIFIER_nondet_int())
    my_thread1();
  //else
    //my_thread2();
  /* reachable */
  return 0;
}

Пример #4

Файл: gex.cpp Проект: bitwyre/GEX

int main(int argc, char** argv) {
	std::thread my_thread1(testGEX);
	my_thread1.join();
}