crytic/medusa v0.1.2

on GitHub

This marks a minor release of medusa. Version 0.1.2 brings updates to the EVM, support for console.log cheat codes, AST literal extraction, logging, and error handling.

What's Changed

• Added support for console.log cheat codes, enabling users to log on-chain information into medusa execution traces shown when a test failure occurs.
• Updated the underlying medusa-geth fork to target go-ethereum 1.12.0, enabling the Shanghai fork and use of Solidity 0.8.20, which leverages the newer PUSH0 opcode.
• Improved AST literal extraction and added denomination parsing. Constants such as 1e9, 1 ether, or 3 hours are now properly extracted, enabling better value generation.
• Updated the logger to improve upon error logging. Errors are now presented in a more intuitive manner to end users.
• Fixed a nil dereference when calling SetTarget, which would cause a crash if an invalid platform was set in the project config file and --target was provided.

Full Changelog: v0.1.1...v0.1.2