Add ERC20Utils Assembly example#95

Open

Roy-Certora wants to merge 3 commits intomasterfrom

roy/ERC20UtilsAssembly

Commits on May 28, 2024

Commits on Jun 18, 2024

Enhance summaries and rules. Add fallback caller for ETH case.
Roy-Certora
committed