Skip to content
GitLab
Explore
Sign in
verimag
synchrone
lutin
Repository
lutin
source
lurettetop.ml
Find file
Blame
History
Permalink
Make sure use the oracle in the SUT directory. Otherwise, strange things...
· 412ff9e0
Erwan Jahier
authored
May 21, 2010
Make sure use the oracle in the SUT directory. Otherwise, strange things happen from times to times.
412ff9e0