Fix FileNotFoundError when loading existing state (#1480)

trailofbits · Jul 9, 2019 · 4ca0d4c · 4ca0d4c
1 parent 745b0ea
commit 4ca0d4c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/manticore/core/workspace.py b/manticore/core/workspace.py
@@ -290,7 +290,8 @@ def rm(self, key):
         :param str key: The file to delete
         """
         path = os.path.join(self.uri, key)
-        os.remove(path)
+        if os.path.exists(path):
+            os.remove(path)
 
     def ls(self, glob_str):
         """