From 0efa37933ac07cb8f83af3baf5f619d03ce1bd73 Mon Sep 17 00:00:00 2001 From: JP Smith Date: Wed, 13 Sep 2017 19:17:13 -0500 Subject: [PATCH] Fix stderr file creation and test for it going forwards (#495) * fix stderr file creation and test for it going forwards * consolidate tests * clean up imports --- manticore/core/workspace.py | 2 +- tests/test_workspace.py | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/manticore/core/workspace.py b/manticore/core/workspace.py index efa7e70..4ec95f2 100644 --- a/manticore/core/workspace.py +++ b/manticore/core/workspace.py @@ -534,7 +534,7 @@ class ManticoreOutput(object): fd.write('{SolverException}') with self._named_stream('stdout') as _out: - with self._named_stream('stdout') as _err: + with self._named_stream('stderr') as _err: with self._named_stream('stdin') as _in: with self._named_stream('net') as _net: for name, fd, data in state.platform.syscall_trace: diff --git a/tests/test_workspace.py b/tests/test_workspace.py index 50b04af..135a6e3 100644 --- a/tests/test_workspace.py +++ b/tests/test_workspace.py @@ -104,6 +104,7 @@ class StateTest(unittest.TestCase): self.assertIn('trace', keys) self.assertIn('syscalls', keys) self.assertIn('stdout', keys) + self.assertIn('stderr', keys) self.assertIn('stdin', keys) self.assertIn('messages', keys) self.assertIn('txt', keys)