add test

goblint · Jan 12, 2024 · 51359ef · 51359ef
2 parents 97f25be + 3b9ad39
commit 51359ef
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/src/cdomains/apron/linearTwoVarEqualityDomain.apron.ml b/src/cdomains/apron/linearTwoVarEqualityDomain.apron.ml
@@ -724,11 +724,10 @@ struct
                 let xi = Environment.var_of_dim t.env i in
                 let coeff_vars = 
                     (Coeff.s_of_int (-1), xi) :: (match var_opt with
-                        | None -> []
-                        | Some var_index ->
-                            let var = Environment.var_of_dim t.env var_index in
-                            if i = var_index then []
-                            else [(Coeff.s_of_int 1, var)])
+                      | Some var_index when i <> var_index ->
+                        let var = Environment.var_of_dim t.env var_index in
+                        [(Coeff.s_of_int 1, var)]
+                      | _ -> [] )
                 in
                 let cst = Coeff.s_of_int (Z.to_int const) in
                 let lincons = Lincons1.make (Linexpr1.make t.env) Lincons1.EQ in