sign_analysis

tp2/Pystan/config/sign_analysis.py

@@ -203,12 +203,10 @@ def eval_aexp(env: abstract_env, e: ArithExpr) -> sign | Top | None:
                 return sign_add(left_val, right_val)
             elif bop == Bop.MUL:
                 return sign_mul(left_val, right_val)
-            
             elif bop == Bop.DIV:
                 return sign_div(left_val, right_val)
             else:
                 return None 
-
         case _: 
             return None