Skip to content

Test libstd backtrace type #1578

Closed
@RalfJung

Description

@RalfJung

@Aaron1011 added support for capturing backtraces in Miri, but so far we only test directly using the Miri API for that. Once actually using the libstd types works, we should test those as well.

@Aaron1011 what is the status of that?

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-shimsArea: This affects the external function shimsC-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions