Merge pull request #178 from joewww/master

adding exception in _can_change()

mythril/analysis/modules/transaction_order_independence.py

@@ -79,9 +79,11 @@ def _can_change(constraints, variable):
         model = solver.get_model(_constraints)
     except UnsatError:
         return False
-    initial_value = int(str(model.eval(variable, model_completion=True)))
+    try:
-    return _try_constraints(constraints, [variable != initial_value]) is not None
+        initial_value = int(str(model.eval(variable, model_completion=True)))
-
+        return _try_constraints(constraints, [variable != initial_value]) is not None
+    except AttributeError:
+        return False
 
 def _get_influencing_storages(call):
     """ Examines a Call object and returns an iterator of all storages that influence the call value or direction"""

setup.py

@@ -4,6 +4,7 @@ import os
 
 # Package version (vX.Y.Z). It must match git tag being used for CircleCI
 # deployment; otherwise the build will failed.
+
 VERSION = "v0.17.0"
 
 class VerifyVersionCommand(install):