TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix issue with get_constraints (#1549)

Browse Source
pull/1550/head
Nikhil Parasaram 3 years ago committed by GitHub
parent 1a5f28332a
commit 53f90cfb5f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 3
      mythril/support/model.py

3
mythril/support/model.py
Unescape View File

@ -32,7 +32,8 @@ def get_model(constraints, minimize=(), maximize=(), enforce_execution_time=True
for constraint in constraints: for constraint in constraints:
if type(constraint) == bool and not constraint: if type(constraint) == bool and not constraint:
raise UnsatError raise UnsatError
constraints = constraints.get_all_constraints() if type(constraints) != tuple:
constraints = constraints.get_all_constraints()
constraints = [constraint for constraint in constraints if type(constraint) != bool] constraints = [constraint for constraint in constraints if type(constraint) != bool]
for constraint in constraints: for constraint in constraints:

Write Preview
Loading…
Cancel
Save