Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

debug_check_empty #521

Merged
merged 1 commit into from
May 12, 2022
Merged

debug_check_empty #521

merged 1 commit into from
May 12, 2022

Conversation

mjp41
Copy link
Member

@mjp41 mjp41 commented May 10, 2022

Currently a failing debug_check_empty does not provide any information.
This change allows it to print the size of the one of the allocations
that has not been freed.

Currently a failing debug_check_empty does not provide any information.
This change allows it to print the size of the one of the allocations
that has not been freed.
@mjp41 mjp41 force-pushed the debug_check_empty_report branch from 85870f8 to 6db3448 Compare May 10, 2022 14:25
@mjp41 mjp41 requested a review from nwf May 10, 2022 14:50
Copy link
Collaborator

@nwf nwf left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@mjp41 mjp41 merged commit 22d7c04 into main May 12, 2022
@mjp41 mjp41 deleted the debug_check_empty_report branch May 12, 2022 08:38
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.

2 participants