Module Split_return

module Split_return: sig .. end
This module is used to merge together the final states of a function according to a given strategy. Default is to merge all states together

val join_final_states : Cil_types.kernel_function ->
return_lv:Cil_types.lval option -> State_set.t -> Cvalue.Model.t list
Join the given state_set. The strategy is defined according to the name of the function.
val pretty_strategies : unit -> unit
val kf_strategy : Kernel_function.t -> Split_strategy.t