Skip to content
GitLab
Explore
Sign in
Charles Southerland
frama-c
Repository
frama-c
src
plugins
e-acsl
tests
test_config_dev.in
Find file
Blame
History
Permalink
[tests] use NOFRAMAC for E-ACSL 'dev' test config
· dbe66dce
Virgile Prevosto
authored
Jul 16, 2020
and
Andre Maroneze
committed
Jul 17, 2020
dbe66dce