Skip to content

Check that functions return (overridable with assume_always_returns pragma)#108

Merged
TomWambsgans merged 1 commit intoleanEthereum:mainfrom
lita-xyz:morgan/100
Dec 12, 2025
Merged

Check that functions return (overridable with assume_always_returns pragma)#108
TomWambsgans merged 1 commit intoleanEthereum:mainfrom
lita-xyz:morgan/100

Commits