2017-02-23 17:17:23 +01:00
|
|
|
set print pretty on
|
|
|
|
|
set print object on
|
|
|
|
|
set print static-members on
|
|
|
|
|
set print vtbl on
|
|
|
|
|
set print demangle on
|
|
|
|
|
set demangle-style gnu-v3
|
2021-10-31 14:54:20 +01:00
|
|
|
source /home/gebner/lean4/src/bin/lean-gdb.py
|
2017-02-23 17:17:23 +01:00
|
|
|
source /home/gebner/etc/gdbprinters.py
|
