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

Copy Markdown View Source

Detects incompatible terminal return contracts within one function.