diff options
Diffstat (limited to '.gdbinit')
| -rw-r--r-- | .gdbinit | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.gdbinit b/.gdbinit new file mode 100644 index 000000000..d37d67f05 --- /dev/null +++ b/.gdbinit @@ -0,0 +1,14 @@ +define pz +set __gmpz_dump ($) +end + +define pq +set __gmpz_dump ($->_mp_num) +echo / +set __gmpz_dump ($->_mp_den) +end + +define pf +set __gmpf_dump ($) +end + |