Build with python to enable pretty print in gdb
closes #764 (closed)
Output when built with python3:
gdb -q -ex 'info pretty-printer' -ex quit
global pretty-printers:
builtin
mpx_bound128
closes #764 (closed)
Output when built with python3:
gdb -q -ex 'info pretty-printer' -ex quit
global pretty-printers:
builtin
mpx_bound128