Frama-C API - Eva
val evaluate : subdivided:bool -> environment -> Valuation.t -> Eval.exp -> (Valuation.t * Value.t) Eval.evaluated
Frama-C Frama-C Evaval evaluate : subdivided:bool -> environment -> Valuation.t -> Eval.exp -> (Valuation.t * Value.t) Eval.evaluated