ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
pthread_barrier_t Struct Reference

#include <pthread.h>

Public Attributes

unsigned int __count
unsigned int __arrived
unsigned int __generation
unsigned int __waiters

Member Data Documentation

◆ __arrived

unsigned int pthread_barrier_t::__arrived

◆ __count

unsigned int pthread_barrier_t::__count

◆ __generation

unsigned int pthread_barrier_t::__generation

◆ __waiters

unsigned int pthread_barrier_t::__waiters

The documentation for this struct was generated from the following file: