From 652c99b471ebb2d2624b7605cb0292d8c21ae9a9 Mon Sep 17 00:00:00 2001 From: Dushyanth Chowdary Date: Mon, 20 Nov 2017 16:04:34 -0500 Subject: [PATCH] Manticore prints linux ret code as uint instead of int (#578) * Fixing raise issue #435 * syncing git * Fix Bug #570 * syncing * removed all binaries * missed one file --- manticore/platforms/linux.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/manticore/platforms/linux.py b/manticore/platforms/linux.py index ad504e3..f7bd546 100644 --- a/manticore/platforms/linux.py +++ b/manticore/platforms/linux.py @@ -1753,9 +1753,9 @@ class Linux(Platform): self.sched() self.running.remove(procid) #self.procs[procid] = None - logger.debug("EXIT_GROUP PROC_%02d %s", procid, error_code) + logger.debug("EXIT_GROUP PROC_%02d %s", procid, ctypes.c_int32(error_code).value) if len(self.running) == 0 : - raise TerminateState("Program finished with exit status: %r" % error_code, testcase=True) + raise TerminateState("Program finished with exit status: %r" % ctypes.c_int32(error_code).value, testcase=True) return error_code def sys_ptrace(self, request, pid, addr, data):