Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
ptests
ptests.ml
Find file
Blame
History
Permalink
[tests] ptests more robust wrt filenames + check frama-c behavior on foo".c
· dde15bba
Virgile Prevosto
authored
Jan 14, 2020
Especially the pre-processing command-line with `-D__FC_FILE_ASSERT` in presence of such filename.
dde15bba