Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
share
Makefile.testing
Find file
Blame
History
Permalink
[tests] add 'default-tests' target to only run default config tests
· 119e0065
Andre Maroneze
authored
Sep 08, 2022
119e0065