Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
bin
check-reference-configuration.sh
Find file
Blame
History
Permalink
Update check-reference-configuration with the right Why3 command
· 0a7321f8
Allan Blanchard
authored
Oct 23, 2020
0a7321f8