Skip to content
GitLab
Explore
Sign in
verimag
synchrone
lutin
Repository
lutin
source
common
lustreRun.ml
Find file
Blame
History
Permalink
lutin --oracle-ec: Kill the ecexe process when the oracle return false.
· a3055824
Erwan Jahier
authored
Feb 28, 2011
a3055824