C++ (Cpp) __VERIFIER_atomic_r示例

示例#1

文件： 18_read_write_lock_true-unreach-call.c 项目： oliverstth/sv-benchmarks

void* thr2(void* arg) { //reader
  __VERIFIER_atomic_r();
  y = x;
  assert(y == x);
  r = r-1;

  return 0;
}

示例#2

文件： 18_read_write_lock_true-unreach-call.c_anno.c_pyc.c 项目： heryxpc/prototype

void* thr2(void* arg) { //reader
  __VERIFIER_atomic_r();
  y = x;
  /* assert not proved */
  assert(y == x);
  /* reachable */
  r = r-1;

  return 0;
}