Fuzzing er alt snakket om siden yETH-hacket (i hvert fall i mitt hode) – @claudeai skrev nettopp den perfekte Foundry Fuzz-testen for meg og avdekket et kanttilfelle som en hel massiv testpakke overså Invarianten er enkel: 'sum(skatt gjeld) >= total_debt', ellers kan 'total_debt' bli negativ hvis alle skatter tilbakebetaler, noe som gjør det umulig å lukke den siste skatten Skjermbilde av Fuzz-testen vedlagt og lenke til testen i den første kommentaren, for din bekvemmelighet Si til Claude at han skal fuzze koden din!