✅ Differentially fuzz solmate merkle with murky/oz
transmissions11 opened this issue · 0 comments
transmissions11 commented
should use the solmate brutalize memory modifier within the calls to verify to get even stronger guarantees that the impl works in conditions with fucked up memory!