We should bring over the [`SymbolicWords`](https://github.com/runtimeverification/evm-semantics/blob/d52b95eda6d91a26374dd76d4c4ea418589e2ae7/tests/foundry/src/KEVMCheats.sol#L34) contract which contains cheatcodes for symbolic integers of various widths.
Activity
TheMarvelFan commentedon Nov 1, 2024
Hi @palinatolmach ,
What's the latest on this issue?