I just committed a change to dehydra type objects: previously array objects had a .size property, but this was actually off-by-one and represented the maximum array index. I have renamed this property to .max to make it clear what the value actually means.
I have updated the dehydra manual on MDC with this change. --BDS _______________________________________________ dev-static-analysis mailing list [email protected] https://lists.mozilla.org/listinfo/dev-static-analysis
