Details
-
Bug
-
Resolution: Fixed
-
P2: Important
-
QSR 1.2
-
None
-
Ibc91f3839f71faaaaa879cb0c0d0aa1034db6ae5
Description
By using indicators example as a base for testing, one can spot suspicious behavior in the name of the requirement "2.3.4.5 Animations with safe elements must be generated and validated at build time."
Changing the object id values in
A) state
rename car to car1
-> no complaints in build.
-> Runtime just does not do the change
B) transitions
rename car to perkele
-> no complaints in build.
-> Runtime just does the change even the target is named incorrectly