diff --git a/manticore/utils/helpers.py b/manticore/utils/helpers.py index 288ef2ebe..7896c3a7f 100644 --- a/manticore/utils/helpers.py +++ b/manticore/utils/helpers.py @@ -79,6 +79,7 @@ def __init__(self): sys.setrecursionlimit(PickleSerializer.DEFAULT_RECURSION) def serialize(self, state, f): + logger.info("Serializing %s", f.name if hasattr(f, "name") else "") try: f.write(pickle.dumps(state, 2)) except RuntimeError: @@ -92,4 +93,5 @@ def serialize(self, state, f): self.serialize(state, f) def deserialize(self, f): + logger.info("Deserializing %s", f.name if hasattr(f, "name") else "") return pickle.load(f)