Frama-C API - Iterator
val condition_truth_value : Frama_c_kernel.Cil_types.stmt -> bool * boolProvided stmt is an 'if' construct, fst (condition_truth_value stmt) (resp. snd) is true if and only if the condition of the 'if' has been evaluated to true (resp. false) at least once during the analysis.
module type Engine_Subset = sig ... endSubset of Engine_sig.S required by this functor.
module Make (Engine : Engine_Subset) : Engine_sig.Iterator with type state = Engine.Dom.t