Frama-C:
Plug-ins:
Libraries:

Frama-C API - Iterator

val signal_abort : kill:bool -> unit

Mark the analysis as aborted: it will be stopped at the next safe point.

val signal_reset : unit -> unit

Reset the signal sent by signal_abort, if any.

val condition_truth_value : Frama_c_kernel.Cil_types.stmt -> bool * bool

Provided 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 ... end

Subset of Engine_sig.S required by this functor.