From e490802f3f9bc58dd68331f49e51ec8945b1a1f7 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Fri, 28 Jun 2019 16:57:31 +0530 Subject: [PATCH] Add type hints --- mythril/laser/smt/bool.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/mythril/laser/smt/bool.py b/mythril/laser/smt/bool.py index e34ea401..40f098fc 100644 --- a/mythril/laser/smt/bool.py +++ b/mythril/laser/smt/bool.py @@ -86,7 +86,7 @@ class Bool(Expression[z3.BoolRef]): def And(*args: Union[Bool, bool]) -> Bool: """Create an And expression.""" - union = [] + union = [] # type: List args_list = [arg if isinstance(arg, Bool) else Bool(arg) for arg in args] for arg in args_list: union += arg.annotations @@ -108,7 +108,7 @@ def Or(*args: Union[Bool, bool]) -> Bool: :return: """ args_list = [arg if isinstance(arg, Bool) else Bool(arg) for arg in args] - union = [] + union = [] # type: List for arg in args_list: union += arg.annotations return Bool(z3.Or([a.raw for a in args_list]), annotations=union)