Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
src
wp
MemTyped.ml
Find file
Blame
History
Permalink
[WP] Added -wp-init-const to control initializers of global const variables ;
· b71d80ef
Loïc Correnson
authored
Jun 20, 2014
replaces and refines the need for -wp-const previously introduced.
b71d80ef