We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
I'm a total beginner to manticore but I was trying this command out and it seems like a typo. solitidy_create_contract() should be solidity_create_contract()
Updated Getting Started EVM (markdown)
Add getting started examples