Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
tests
syntax
oracle
ghost_else_bad.1.res.oracle
Find file
Blame
History
Permalink
[ghost] Fixes error msg for ignored ghost-else
· fb42dae6
Allan Blanchard
authored
Mar 31, 2020
fb42dae6