Reach.Smell.Checks.ReturnShapeDivergence (Reach v2.8.4)

Copy Markdown View Source

Detects incompatible terminal return contracts within one function.