Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
tests
syntax
local-init-const.i
Find file
Blame
History
Permalink
[kernel] add non-regression test for const local inits
· a1210628
Andre Maroneze
authored
Oct 09, 2020
a1210628