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

Copy Markdown View Source

Detects incompatible terminal return contracts within one function.