Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
ptests
ptests.ml
Find file
Blame
History
Permalink
[ptests] STDOPT use previous LOG directive as well as OPT.
· aa2e9289
Virgile Prevosto
authored
Oct 27, 2020
Makes ptests more conforming to the developer manual.
aa2e9289