Fixed Issue #619 (#623)

Add newlines in .trace file generation
2017-12-04 17:53:19 -05:00
parent be0141e501
commit e63838d204
1 changed files with 1 additions and 1 deletions
@@ -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