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

#include <semaphore.h>

Public Attributes

int __lock
int __count
int __init
unsigned int __waiters

Member Data Documentation

◆ __count

int sem_t::__count

◆ __init

int sem_t::__init

◆ __lock

int sem_t::__lock

◆ __waiters

unsigned int sem_t::__waiters
The documentation for this struct was generated from the following file: