Merge remote-tracking branch 'origin/develop'

runtimeverification · Aug 1, 2024 · deb7967 · deb7967
2 parents 3968914 + 5002ecd
commit deb7967
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/debug/kgdb.py b/debug/kgdb.py
@@ -766,7 +766,7 @@ def invoke(self, arg, from_tty):
                 if entry['kind'] == self.SUCCESS:
                     print('Match succeeds')
                 elif entry['kind'] == self.FUNCTION:
-                    debugFunctionName = entry['debugName'].string("iso-8859-1")
+                    debugFunctionName = entry['debug_name'].string("iso-8859-1")
                     functionName = entry['function'].string("iso-8859-1")
                     print(debugFunctionName + '(', end='')
                     name = functionName if functionName[:5] == 'hook_' else debugFunctionName

diff --git a/debug/klldb.py b/debug/klldb.py
@@ -125,7 +125,7 @@ def __call__(self, debugger, command, exe_ctx, result):
 
 
 class LogEntry:
-    typename = 'MatchLog'
+    typename = 'match_log'
 
     def __init__(self, exe_ctx, root, idx):
         self.exe_ctx = exe_ctx
@@ -142,7 +142,7 @@ def _field_expr(self, field):
 
     def get_match_function_args(self):
         return target_call(self.exe_ctx, 'get_match_fn_args', 'void **',
-                           ['MatchLog *'], [self.root])
+                           ['match_log *'], [self.root])
 
     @property
     def kind(self):
@@ -170,7 +170,7 @@ def subject(self):
     def debug_name(self):
         err = lldb.SBError()
         return self.exe_ctx.process.ReadCStringFromMemory(
-            to_address(self._field_expr('debugName')), 65536, err)
+            to_address(self._field_expr('debug_name')), 65536, err)
 
     @property
     def function(self):
@@ -201,7 +201,7 @@ def _get_match_log_size(self):
         return target_call(self.exe_ctx, 'getmatch_log_size', 'size_t').data.uint64[0]
 
     def _get_match_log(self):
-        return target_call(self.exe_ctx, 'getmatch_log', 'MatchLog *')
+        return target_call(self.exe_ctx, 'getmatch_log', 'match_log *')
 
     def _type_to_sort(self, ty):
         return {