Skip to content

Add GDB pretty printer#2607

Merged
nlohmann merged 1 commit into
developfrom
issue1952
Jan 24, 2021
Merged

Add GDB pretty printer#2607
nlohmann merged 1 commit into
developfrom
issue1952

Conversation

@nlohmann
Copy link
Copy Markdown
Owner

This PR adds the GDB pretty printer discussed in #1952.

Closes #1952.

@nlohmann
Copy link
Copy Markdown
Owner Author

@ssbssa I added your pretty printer as discussed. Please let me know if I need to change anything.

@ssbssa
Copy link
Copy Markdown

ssbssa commented Jan 23, 2021

@nlohmann Looks good to me.

@coveralls
Copy link
Copy Markdown

Coverage Status

Coverage remained the same at 100.0% when pulling 312a998 on issue1952 into 92fa1d9 on develop.

@nlohmann nlohmann merged commit b83fe5d into develop Jan 24, 2021
@nlohmann nlohmann deleted the issue1952 branch January 24, 2021 12:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

GDB pretty printing support

3 participants