Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
pub
frama-c
Repository
frama-c
tests
syntax
oracle
sizeof_incomplete_type.res.oracle
Find file
Blame
History
Permalink
[Kernel] improve error message for sizeof on incomplete types
· aa5ecf65
Andre Maroneze
authored
Sep 01, 2020
aa5ecf65