Fixed building JANI models that use the same automaton multiple times in their system composition. Previously, the different instances referred to the same expression variables for the automaton location and its local variables.
Fixed building JaniChoiceOrigins which previously referred to internal automata indices and not the ones from the JANI model.
sjunges
commented
4 months ago
Fixed building JANI models that use the same automaton multiple times in their system composition. Previously, the different instances referred to the same expression variables for the automaton location and its local variables.
Fixed building JaniChoiceOrigins which previously referred to internal automata indices and not the ones from the JANI model.