Skip to content
GitLab
Explore
Sign in
verimag
synchrone
lutin
Repository
lutin
_oasis
Find file
Blame
History
Permalink
The lurette executable now support ocaml plugins
· ad57bc8e
Erwan Jahier
authored
Jul 24, 2018
Hence, I now can use lurette instead of lurette_old in the crazy rabbit nonreg tests.
ad57bc8e