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

Copy Markdown View Source

Detects incompatible terminal return contracts within one function.