Skip to content

[2026.10.7] mutex: lock-order checker compares latches within one environment only - #269

Merged
gburd merged 3 commits into
lts/2026.10.7from
backport/2026.10.7/lock-order-per-env
Nov 4, 2026
Merged

gburd merged 3 commits into
lts/2026.10.7from
backport/2026.10.7/lock-order-per-env

test/c: lock_order_check's two-env arm returns int

8bec6e8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
hegel property tests
succeeded Nov 4, 2026 in 1m 20s