Skip to content

chore: improve diagnostics when thread creation fails#14082

Open
eric-wieser wants to merge 2 commits into
leanprover:masterfrom
eric-wieser:pthread-errors
Open

chore: improve diagnostics when thread creation fails#14082
eric-wieser wants to merge 2 commits into
leanprover:masterfrom
eric-wieser:pthread-errors

Conversation

@eric-wieser

@eric-wieser eric-wieser commented Jun 16, 2026

Copy link
Copy Markdown
Contributor

This PR includes the OS-level failure messages in the crash message when thread creation fails.

It also prevents some std::function objects being leaked in this failure case, and slightly cleans up some use of unique_ptr.

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.

1 participant