From 53f90cfb5f38bbd1247257cb07fe7e6d49b01127 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Mon, 15 Nov 2021 17:42:57 +0000 Subject: [PATCH] Fix issue with get_constraints (#1549) --- mythril/support/model.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/mythril/support/model.py b/mythril/support/model.py index 2c6a8fe6..c82f134e 100644 --- a/mythril/support/model.py +++ b/mythril/support/model.py @@ -32,7 +32,8 @@ def get_model(constraints, minimize=(), maximize=(), enforce_execution_time=True for constraint in constraints: if type(constraint) == bool and not constraint: 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] for constraint in constraints: