Add changes with respect to develop

pull/666/head
Nikhil Parasaram 6 years ago
parent c993340372
commit 39a8656fa5
  1. 3
      mythril/analysis/modules/suicide.py

@ -74,7 +74,8 @@ def _analyze_state(state, node):
not_creator_constraints.append(
Not(Extract(159, 0, transaction.caller) == 0)
)
not_creator_constraints.append(check_changeable_constraints(node.constraints))
if not check_changeable_constraints(node.constraints):
return []
try:
model = solver.get_model(node.constraints + not_creator_constraints)

Loading…
Cancel
Save