From 0533fe1d2d5df65e33af71cf3c389e47431fd119 Mon Sep 17 00:00:00 2001 From: Mark Mossberg Date: Fri, 9 Jun 2017 13:42:49 -0400 Subject: [PATCH] Use global path for workspace (#295) Temporary hack around simple chdir OS model --- manticore/manticore.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/manticore/manticore.py b/manticore/manticore.py index d2a9ebe..b0d74d7 100644 --- a/manticore/manticore.py +++ b/manticore/manticore.py @@ -375,11 +375,11 @@ class Manticore(object): else: os.mkdir(path) - self._workspace_path = path + self._workspace_path = os.path.abspath(path) def _make_workspace(self): ''' Make working directory ''' - return tempfile.mkdtemp(prefix="mcore_", dir='./') + return os.path.abspath(tempfile.mkdtemp(prefix="mcore_", dir='./')) @property def policy(self):