An error occurred while fetching folder content.
Martin Christoph Hierholzer
authored
- treat the two directions of bidirectional variables properly in testable mode (i.e. as individual variables with each one counter) - fix a data race in testable mode in case a bidirectional variable rejected a value (was not holding a required lock)
| Name | Last commit | Last update |
|---|---|---|
| .. | ||