You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
After our recent work on the Rules, we have omitted/misunderstood a piece of rule.
From Andy's comment we can clearly see how we are not explicitly checking for
[@measure=5] and not(@value) (pseudocode obviously) but instead we infer its correctness as a side effect.
After a few chats with @amy-silcock we realised how feeble this logic is, so we have to update the rules for that specific check, so that we avoid inferring correctnes by the fact that the other similar tests are Fail or Pass
The text was updated successfully, but these errors were encountered:
but instead we infer its correctness as a side effect
I don’t think so… Currently, if @measure is 5 and @value is present, no ruleset rule fails / no error is raised. So the explicit test is good partly because it’s good to have an explicit test, but also I think it adds something that isn’t covered by current tests.
After our recent work on the Rules, we have omitted/misunderstood a piece of rule.
From Andy's comment we can clearly see how we are not explicitly checking for
[@measure=5] and not(@value)
(pseudocode obviously) but instead we infer its correctness as a side effect.After a few chats with @amy-silcock we realised how feeble this logic is, so we have to update the rules for that specific check, so that we avoid inferring correctnes by the fact that the other similar tests are
Fail
orPass
The text was updated successfully, but these errors were encountered: