E_ACSL.Literal_observerObservation of literal strings in C expressions.
val subst_all_literals_in_exp :
Env.t ->
Frama_c_kernel.Cil_types.kernel_function ->
Frama_c_kernel.Cil_types.exp ->
Frama_c_kernel.Cil_types.exp * Env.tReplace any sub-expression of the given exp that is a literal string by an observed variable.