Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
..
oracle
local_init.res.oracle
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