Frama-C API - Substitute_const_globals
val constGlobSubstVisitor : Cil.cilVisitorA visitor that substitutes globals, defined with the attribute 'const', with respective initializers.
Frama-C Frama-C Substitute_const_globalsval constGlobSubstVisitor : Cil.cilVisitorA visitor that substitutes globals, defined with the attribute 'const', with respective initializers.