Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
doc
userman
user-changes.tex
Find file
Blame
History
Permalink
[Kernel] Documents new options -warn-invalid-pointer and -warn-pointer-downcast.
· 90fddb3d
David Bühler
authored
Mar 27, 2020
In the user manual and in the man page.
90fddb3d