Compiler Testing – Part 2: Metamorphic Testing with Verified Identities(github.com)

Hunting compiler miscompilations on smart-contract platforms with differential and metamorphic testing, using mutations proven equivalence-preserving in Lean4 — including real-world findings, some rewarded with bug bounties.