Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
tests
test_config_gauges
Find file
Blame
History
Permalink
[tests] Renames the macro VALUECONFIG into EVA_CONFIG.
· dc7fd4cf
David Bühler
authored
Apr 04, 2019
dc7fd4cf