You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hello,
I'm trying to use substitution with the apron interface and am encountering segmentation faults whenever one of Abstract1's texpr substitution functions are called.
Here's a simple example that causes a segmentation fault for me:
openApronlet()=(* manager *)let manager =Elina_oct.manager_alloc ()in(* Setup the Environment*)let vars = [| Var.of_string "x"; Var.of_string "y" |] inlet env =Environment.make [||] vars in(* Create AbsVal *)let abs_val =Abstract1.top manager env in(* Create X, Y and Substitution *)let y =Texpr1.Var (Var.of_string "y") inlet x =Var.of_string "x"inlet substitution =Texpr1.of_expr env y in(* Substitute *)Abstract1.substitute_texpr_with manager abs_val x substitution None
The same also happens with Elina_poly manager. I've also tried the substitute_texpr function, but I'm encountering the same issue there. With the apron managers no issue occurs.
The text was updated successfully, but these errors were encountered:
Hello,
I'm trying to use substitution with the apron interface and am encountering segmentation faults whenever one of Abstract1's texpr substitution functions are called.
Here's a simple example that causes a segmentation fault for me:
The same also happens with
Elina_poly
manager. I've also tried thesubstitute_texpr
function, but I'm encountering the same issue there. With the apron managers no issue occurs.The text was updated successfully, but these errors were encountered: