From 85f11e240b31fc4bf71bc92694eccb88f38a6297 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Fri, 28 Jun 2019 16:45:04 +0530 Subject: [PATCH] Fix the append issue --- mythril/laser/smt/bool.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/mythril/laser/smt/bool.py b/mythril/laser/smt/bool.py index 1859ab43..e34ea401 100644 --- a/mythril/laser/smt/bool.py +++ b/mythril/laser/smt/bool.py @@ -89,7 +89,7 @@ def And(*args: Union[Bool, bool]) -> Bool: union = [] args_list = [arg if isinstance(arg, Bool) else Bool(arg) for arg in args] for arg in args_list: - union.append(arg.annotations) + union += arg.annotations return Bool(z3.And([a.raw for a in args_list]), union) @@ -108,7 +108,9 @@ def Or(*args: Union[Bool, bool]) -> Bool: :return: """ args_list = [arg if isinstance(arg, Bool) else Bool(arg) for arg in args] - union = [arg.annotations for arg in args_list] + union = [] + for arg in args_list: + union += arg.annotations return Bool(z3.Or([a.raw for a in args_list]), annotations=union)