Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
tests
test_config_gauges
Find file
Blame
History
Permalink
[Eva] Do not print the summary in Frama-C tests.
· 02c586ee
David Bühler
authored
Apr 04, 2019
As it is redundant with all the information displayed during the analysis.
02c586ee