-
Erwan Jahier authored
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
6e015db3