Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
test
static
good
alphaCaml-demos-interactive.automaton...
Find file
Blame
History
Permalink
Improve [make test] to compare the .automaton and .conflicts file against a reference.
· 60bf0ea6
POTTIER Francois
authored
Nov 18, 2020
60bf0ea6