Commit 081a147cef86e9f823e5b3dbfc5f1bf517257212 improved the handling of constants that have values assigned at RoboChart level, but the values assigned are not propagating properly to expressions, and so they are picking up (wrong) values from instantiations.csp. Obviously, we want this to not happen.
My favoured solution for this is to have SpecificationGroups instead pull all of the known constant overrides into scope before defining the target, as that simplifies things in other parts of the definition.
Commit 081a147cef86e9f823e5b3dbfc5f1bf517257212 improved the handling of constants that have values assigned at RoboChart level, but the values assigned are not propagating properly to expressions, and so they are picking up (wrong) values from
instantiations.csp
. Obviously, we want this to not happen.My favoured solution for this is to have
SpecificationGroup
s instead pull all of the known constant overrides into scope before defining the target, as that simplifies things in other parts of the definition.