interpret constraints as * argument

6 years ago · caa06776c5
parent fa01a9a8ec
commit caa06776c5
1 changed files with 1 additions and 1 deletions
--- a/mythril/laser/smt/solver.py
+++ b/mythril/laser/smt/solver.py
@ -38,7 +38,7 @@ class BaseSolver(Generic[T]):
        :param constraints:
        :return:
        """
-        self.add(constraints)
+        self.add(*constraints)

    def check(self) -> z3.CheckSatResult:
        """Returns z3 smt check result.