commit 8cc9995831fa54151a81bcec3d65cadefe72e8aa
parent 971d2e79b0d36dbe0e7294944540311e615acc14
Author: Tizian Leonhardt <tizianleonhardt@web.de>
Date: Fri, 5 Feb 2021 20:13:08 +0100
Pretty printing by default
Diffstat:
1 file changed, 4 insertions(+), 0 deletions(-)
diff --git a/project/extract_sizeret.py b/project/extract_sizeret.py
@@ -197,8 +197,12 @@ class Stage3():
global exits
global types
+ # system can hang when pagination is on
gdb.execute("set pagination off")
+ # for rk-data
+ gdb.execute("set print pretty on")
+
with open(self.dictfile, 'r') as dct:
types = json.load(dct)