Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
src
plugins
e-acsl
tests
format
test_config
Find file
Blame
History
Permalink
Disables the new Eva analysis summary in the tests.
· d93d3538
David Bühler
authored
Apr 05, 2019
Creates a ptest macro EVA_OPTIONS for the parameters of the Eva analysis.
d93d3538