|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Public Member Functions | |
| None | __init__ (self) |
| None | acquire (self) |
| None | release (self) |
Protected Attributes | |
| int | _locked = 0 |
Non-recursive mutex; mirrors ``threading.Lock``.
| None threading.Lock.__init__ | ( | self | ) |
| None threading.Lock.acquire | ( | self | ) |
Block until the lock is free, then mark it held.
| None threading.Lock.release | ( | self | ) |
Mark the lock free.
|
protected |