|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <pthread.h>
Public Attributes | |
| int | __readers |
| int | __writer |
| unsigned int | __waiters |
| int pthread_rwlock_t::__readers |
| unsigned int pthread_rwlock_t::__waiters |
| int pthread_rwlock_t::__writer |