Detect when a property/optimization is invalid#1536

Merged

gustavo-grieco merged 6 commits intomasterfrom

fix-invalid-property

Mar 18, 2026

Commits on Mar 13, 2026

detect when a property/optimization is invalid
gustavo-grieco
committed

Commits on Mar 14, 2026

Delete tests/solidity/bad/reversion.sol
gustavo-grieco
authored

Commits on Mar 16, 2026