Add comment

feliam · feliam · commit 8e0797df6b57 · 2021-01-19T12:27:53.000-03:00
diff --git a/manticore/core/smtlib/visitors.py b/manticore/core/smtlib/visitors.py
@@ -125,6 +125,7 @@ def _method(self, expression, *operands):
         return self._rebuild(expression, operands)
 
     def _changed(self, expression: Expression, operands):
+        # False if no operands
         changed = any(x is not y for x, y in zip(expression.operands, operands))
         return changed
 
