Wp.Wp_error
To be raised a feature of C/ACSL cannot be supported by a memory model or is not implemented, or ...
val pp_logic_label :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.logic_label ->
unit
val pp_assigns :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.assigns ->
unit
val pp_string_list :
?sep:Frama_c_kernel.Pretty_utils.sformat ->
empty:string ->
Stdlib.Format.formatter ->
string list ->
unit