Skip to content

abc: fix deferred logs#5811

Merged
Ravenslofty merged 1 commit intomainfrom
emil/abc-fix-deferred-logs
Apr 20, 2026
Merged

abc: fix deferred logs#5811
Ravenslofty merged 1 commit intomainfrom
emil/abc-fix-deferred-logs

Conversation

@widlarizer
Copy link
Copy Markdown
Collaborator

This fixes an issue found by the thread sanitizer when running abc in parallel. I discovered this on tests/simple/subbytes.v with Makefile.conf when hunting for unrelated thread safety issues

CONFIG=clang
SANITIZER=thread
ENABLE_DEBUG=1

@widlarizer widlarizer requested a review from Ravenslofty April 17, 2026 11:37
@Ravenslofty Ravenslofty added this pull request to the merge queue Apr 20, 2026
Merged via the queue into main with commit 33fba24 Apr 20, 2026
30 checks passed
@Ravenslofty Ravenslofty deleted the emil/abc-fix-deferred-logs branch April 20, 2026 09:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants