From 02abfa1d68239b2b2d20420ecae77c2388a96416 Mon Sep 17 00:00:00 2001 From: Joran Honig Date: Mon, 4 Feb 2019 17:41:43 +0100 Subject: [PATCH] use separate variable for type purposes --- mythril/laser/smt/independence_solver.py | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/mythril/laser/smt/independence_solver.py b/mythril/laser/smt/independence_solver.py index 0a576580..781a26fd 100644 --- a/mythril/laser/smt/independence_solver.py +++ b/mythril/laser/smt/independence_solver.py @@ -103,16 +103,20 @@ class IndependenceSolver: :param constraints: constraints to add """ - constraints = [c.raw for c in cast(Tuple[Bool], constraints)] - self.constraints.extend(constraints) + raw_constraints = [ + c.raw for c in cast(Tuple[Bool], constraints) + ] # type: List[z3.BoolRef] + self.constraints.extend(raw_constraints) def append(self, *constraints: Tuple[Bool]) -> None: """Adds the constraints to this solver. :param constraints: constraints to add """ - constraints = [c.raw for c in cast(Tuple[Bool], constraints)] - self.constraints.extend(constraints) + raw_constraints = [ + c.raw for c in cast(Tuple[Bool], constraints) + ] # type: List[z3.BoolRef] + self.constraints.extend(raw_constraints) def check(self) -> z3.CheckSatResult: """Returns z3 smt check result. """