Closed aubertc closed 1 year ago
Excellent, thanks a lot!
(note to self: check that it is working by adding some tests proving that order of action labels in tau does not impact anything :-))
(note to self: check that it is working by adding some tests proving that order of action labels in tau does not impact anything :-))
Done with https://github.com/CinRC/IRDC-CCSK/commit/401da9af07e1334eac8a87f28113eec91e8330c5
As of today, one test fails and one test is in error.
mvn test
givesRestrictionTest
:which is annoying: the actionable label is
Tau{'a, a}
(the order is swapped). An easy fix would be to swap the order, but an even better fix would be to somehow makeTau{'a, a}
andTau{a, 'a}
be "the same". Is that possible? We could "simply" use Tau{a} to describe "synchronization on a".EnumerationTest.testTree:79 » IndexOutOfBounds Index: -1, Size: 3
that I don't understand.