diff --git a/manticore/platforms/platform.py b/manticore/platforms/platform.py index 72bef92..a784fc2 100644 --- a/manticore/platforms/platform.py +++ b/manticore/platforms/platform.py @@ -28,18 +28,15 @@ class Platform(Eventful): ''' def __init__(self, path, **kwargs): super(Platform, self).__init__(**kwargs) - self._path = path #Not clear why all platforms must have a "path" def invoke_model(self, model, prefix_args=None): self._function_abi.invoke(model, prefix_args) def __setstate__(self, state): super(Platform, self).__setstate__(state) - self._path = state['path'] def __getstate__(self): state = super(Platform, self).__getstate__() - state['path'] = self._path return state def generate_workspace_files(self):