HF RL Explorer

Per-account symbolic storage via cheatcode

Per-account symbolic storage via cheatcode: a task in LegoFlow-SWE (Harbor dataset). Currently, Halmos supports symbolic storage only through the global --symbolic-storage CLI flag. That flag enables symbolic storage for all accounts, which is too coarse for typical usage: most contracts do not…

The task

Currently, Halmos supports symbolic storage only through the global `--symbolic-storage` CLI flag. That flag enables symbolic storage for **all** accounts, which is too coarse for typical usage: most contracts do not need symbolic storage, yet the flag imposes it everywhere, adding unnecessary overhead.

Part of Lego-X/LegoFlow-SWE.