Compiler Testing — Part 2: Metamorphic Testing with Verified Identities

Coverage-guided fuzzing of 5 smart-contract compilers — 100+ bugs from grammar-aware and LLM-generated mutators