Skip to content

Fix deadlock in descendant lockset test case - #2087

Merged
michael-schwarz merged 1 commit into
goblint:masterfrom
dabund24:fix-dl-test-case
Jul 31, 2026
Merged

Fix deadlock in descendant lockset test case#2087
michael-schwarz merged 1 commit into
goblint:masterfrom
dabund24:fix-dl-test-case

Conversation

@dabund24

Copy link
Copy Markdown
Member

@michael-schwarz discovered that 53/61 actually produces a deadlock. This pr fixes this

@dabund24
dabund24 requested a review from michael-schwarz July 31, 2026 09:25
@dabund24 dabund24 self-assigned this Jul 31, 2026
@michael-schwarz
michael-schwarz merged commit abfcd1d into goblint:master Jul 31, 2026
10 checks passed
@dabund24
dabund24 deleted the fix-dl-test-case branch July 31, 2026 09:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants