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