Skip to content
GitLab
Explore
Sign in
verimag
synchrone
lutin
Repository
lutin
examples
lutin
xlurette
call-luciole
test.rif.exp
Find file
Blame
History
Permalink
Use luciole if vars are missing in the new lurettetop version.
· 7bb02d3b
Erwan Jahier
authored
Jun 24, 2011
Also, add the oracle outputs in the '.rif'.
7bb02d3b