Mythril v0.22.31
Pre-release
Pre-release
- Constructs new hash constraints during each solving attempt to handle sha3 more accurately
- Handle local client edge case
- Use symbolic
If
during on-chain sload()
If
during on-chain sload()