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

add to kf hints to split on all integers in s.

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