mythril
mythril copied to clipboard
Allow CLI arguments for constructor creation
Description
A contract may have constructor arguments or may be payable, and this might affect the security conditions. It would be nice to allow a user running Mythril Classic to include the parameters for the constructor as CLI arguments. (i.e arg1=address1,msg.value=1eth, etc)