Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
test
src
test.ml
Find file
Blame
History
Permalink
Fix `make test` so as to have a nonzero exit status when a test fails.
· 2763cc09
POTTIER Francois
authored
Oct 06, 2018
2763cc09