Reformat files with black

mythril/laser/ethereum/state/constraints.py

@@ -17,7 +17,7 @@ class Constraints(list):
 
     def check_possibility(self):
         if self.__possibility is None:
-            self.__possibility = (self.solver.check() != unsat)
+            self.__possibility = self.solver.check() != unsat
         if self.__possibility is False:
             self.solver = None
         return self.__possibility

mythril/laser/ethereum/svm.py

@@ -190,7 +190,11 @@ class LaserEVM:
                 logging.debug("Encountered unimplemented instruction")
                 continue
 
-            new_states = [state for state in new_states if state.mstate.constraints.check_possibility()]
+            new_states = [
+                state
+                for state in new_states
+                if state.mstate.constraints.check_possibility()
+            ]
 
             self.manage_cfg(op_code, new_states)