Add GDB pretty-printers

This commit is contained in:
Bruno BELANYI 2022-07-15 23:52:16 +02:00
parent 47b1854669
commit 97ca224608
2 changed files with 77 additions and 0 deletions

2
.gdbinit Normal file
View file

@ -0,0 +1,2 @@
# Register pretty-printers
source utils/gdb/seer_pretty_printers.py