Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
bin
frama-c-script
Find file
Blame
History
Permalink
[tests] using %{bin:tool} and %{dep:file} features of dune
· ff6d1756
Patrick Baudin
authored
Dec 02, 2021
ff6d1756