Skip to content
GitLab
Explore
Sign in
verimag
synchrone
lutin
Repository
lutin
doc
figs
lurette-v3.fig
Find file
Blame
History
Permalink
Fix the message printed when an oracle is violated.
· 3b8d4815
Erwan Jahier
authored
Apr 02, 2012
The lists of "true variables" and "true variables for the first time" were interchanged.
3b8d4815