|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Go to the source code of this file.
Classes | |
| struct | spinlock_t |
Macros | |
| #define | SPIN_LIMIT 80 |
| mock spinlock struct | |
Functions | |
| void | spin_lock_init (spinlock_t *lock) |
| bool | spin_lock (spinlock_t *lock) |
| void | spin_unlock (spinlock_t *lock) |
| #define SPIN_LIMIT 80 |
mock spinlock struct
| bool spin_lock | ( | spinlock_t * | lock | ) |
| void spin_lock_init | ( | spinlock_t * | lock | ) |
| void spin_unlock | ( | spinlock_t * | lock | ) |