Open
Description
Have installed Mythril in Docker. Have run on the 7 contracts in a multi-contract supply chain. The Supply chain has been tested in Remix on a limited data set. The typical command used: "sudo docker run -v $(pwd)/tmp:/tmp mythril/myth analyze /tmp/orderDeliveryManager21Dec.sol"; For 6 of them, the output from mythril has always been "The analysis was completed successfully. No issues were detected." No further details have been produced. For the 7th one, it kept on running for as long as 1 hour, without yielding any output.
Metadata
Metadata
Assignees
Labels
No labels