halmos icon indicating copy to clipboard operation
halmos copied to clipboard

Published 20 hours ago • verified publisher icon a16z

feat: add support for new symbolic-friendly vm cheatcodes

Open 0xkarmacoma opened this issue 5 months ago • 0 comments

https://github.com/foundry-rs/foundry/pull/8807 https://github.com/foundry-rs/foundry/pull/8882

we may want to replace our custom svm.enableSymbolicStorage(address) with the equivalent (but foundy and kontrol-compatible) vm.setArbitraryStorage(address target)

0xkarmacoma avatar Sep 17 '24 22:09 0xkarmacoma