Add .sync to regular Files also (#297)

2017-06-09 13:42:39 -04:00 · 2017-06-09 13:42:39 -04:00 · 595a33d3e0
commit 595a33d3e0
parent 31b39ccf9d
1 changed files with 3 additions and 0 deletions
--- a/manticore/platforms/linux.py
+++ b/manticore/platforms/linux.py
@ -65,6 +65,9 @@ class File(object):
    def is_full(self):
        return False

+    def sync(self):
+        return
+
    def __getstate__(self):
        state = {}
        state['name'] = self.name