From e63838d204e83112fe2a20e2ddae776243a2a97a Mon Sep 17 00:00:00 2001 From: Arun John Kuruvilla Date: Mon, 4 Dec 2017 17:53:19 -0500 Subject: [PATCH] Fixed Issue #619 (#623) Add newlines in .trace file generation --- manticore/core/workspace.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/manticore/core/workspace.py b/manticore/core/workspace.py index badcb3a..a771082 100644 --- a/manticore/core/workspace.py +++ b/manticore/core/workspace.py @@ -518,7 +518,7 @@ class ManticoreOutput(object): if 'trace' not in state.context: return for entry in state.context['trace']: - f.write('0x{:x}'.format(entry)) + f.write('0x{:x}\n'.format(entry)) def save_constraints(self, state): # XXX(yan): We want to conditionally enable this check