-
Notifications
You must be signed in to change notification settings - Fork 391
Closed
Labels
A-metaNot about any part of Miri per se, but about shaping the environment to make something in/with MiriNot about any part of Miri per se, but about shaping the environment to make something in/with MiriA-panicsArea: affects panics and unwindingArea: affects panics and unwindingC-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement
Description
Once #693 is merged, we will have support for unwind panics. However, we will not support abort panics, due to a quirk in how libpanic_abort
is compiled.
I've opend a rust PR to fix the underlying issue: rust-lang/rust#66489. Once it's merged (or another solution is found), we can re-enable these tests
Metadata
Metadata
Assignees
Labels
A-metaNot about any part of Miri per se, but about shaping the environment to make something in/with MiriNot about any part of Miri per se, but about shaping the environment to make something in/with MiriA-panicsArea: affects panics and unwindingArea: affects panics and unwindingC-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement