Skip to content

Repository navigation

hostlock: fix a zombie-anchor wedge and a live-holder theft, and make the seven properties falsifiable - #1830

Merged
justinchuby merged 5 commits into
mainfrom
squad/leon-hostlock-conformance
Aug 23, 2026
Merged

hostlock: fix a zombie-anchor wedge and a live-holder theft, and make the seven properties falsifiable#1830
justinchuby merged 5 commits into
mainfrom
squad/leon-hostlock-conformance

hostlock: the third arm of the false-abandonment defect, and a zombie…

16058dc
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Aug 23, 2026 in 1s

Coverage not affected when comparing 39b6b18...16058dc

View this Pull Request on Codecov

Coverage not affected when comparing 39b6b18...16058dc

View more details on Codecov