Stream: conformance
Topic: Invariants on values in slices
Richard Townley-O'Neill (Aug 02 2019 at 06:24):
We have found that
- invariants on an element that is sliced are tested on values that do not match any slice, :grinning:
- but are untested on values that do match a slice. :disappointed:
- Invariants defined in a slice are tested. :grinning:
Is this intended behaviour? :thinking:
Grahame Grieve (Aug 02 2019 at 06:25):
doesn't sound like it. You have a test case?
Last updated: Apr 12 2022 at 19:14 UTC
