Module SharedFunctions.CilOfApron

Conversion from Apron to CIL expressions.

Parameters

module V : SV

Signature

exception Unsupported_Linexpr1
val cil_exp_of_linexpr1 : ?scalewith:Z.t -> Goblint_lib__.GobApron.Linexpr1.t -> GoblintCil.exp
val lcm_den : Goblint_lib__.GobApron.Linexpr1.t -> Z.t
val cil_exp_of_lincons1 : GobApron.Lincons1.t -> GoblintCil.Cil.exp option