Parent-Version:      1.15
Version-Log:

source/lucky.ml:
   Fix a bug (revealed by Claude) that was appering
   when several automata were run in parallel: the symptom
   was that several values were generated for some outputs.
   The bug was due to the fact that the order of the list
   of paths (used to, among other things, to retreive the
   current node) was wrong: the consequence was that the automata
   order was different from the one of expected variables,
   hence it was also generated values for those extra variables
   for automata where it was not necessary.

source/lurette.ml:
   launch the oracle checking for the outputs of the step also...

test/*:
   Add non reg test for that bug and the previous one.

source/luc_exe.ml:
   input and output rif declaration where intertwined.

Project-Description: Lurette