Skip to content

update for changed FrameInfo, do not print span for all frames #523

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom
Closed
wants to merge 1 commit into from
Closed

update for changed FrameInfo, do not print span for all frames #523

wants to merge 1 commit into from
+14 −6

Conversation

RalfJung
Copy link
Member

@RalfJung RalfJung mentioned this pull request Nov 15, 2018
Merged
@RalfJung
Copy link
Member Author

The rustc PR landed, we can land this tomorrow.

@oli-obk does the approach look reasonable to you?

@RalfJung
Copy link
Member Author

Merged into #526 because they have to land together (as they came in the same nightly).

@RalfJung RalfJung closed this Nov 20, 2018
@RalfJung RalfJung mentioned this pull request Nov 20, 2018
Merged
@RalfJung RalfJung deleted the miri-backtrace branch November 30, 2018 08:26
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@oli-obk oli-obk oli-obk approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@RalfJung @oli-obk