Module Frama_c_kernel.Substitute_const_globals

val constGlobSubstVisitor : Cil.cilVisitor

A visitor that substitutes globals, defined with the attribute 'const', with respective initializers.