Linux kernel bug fix: tools/memory-model: Fix bug in lock.cat
Subsystem: tools (tools/memory-model/lock.cat)
Bug type: crash, severity: critical
Files changed: tools/memory-model/lock.cat
Introduced by Luc Maranget on 2018-05-15 08:11:17 +0200; fixed by Alan Stern on 2024-06-06 11:24:58 -0700 (lifetime: 2214 days)