Module Substitute_const_globals

module Substitute_const_globals: sig .. end

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


val constGlobSubstVisitor : Cil.cilVisitor