9 lines
219 B
Plaintext
9 lines
219 B
Plaintext
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
|
|
source /home/gebner/lean4/src/bin/lean-gdb.py
|
|
source /home/gebner/etc/gdbprinters.py
|