MythX internal error - Githubissues

Consensys / mythx-developer-support

Support resources and bug reporting for Mythril Tool Developers

3 stars 1 forks source link

Closed shashank-srikant closed 5 years ago

shashank-srikant commented 5 years ago

I run into a MythX internal error when trying to analyze a sample contract.

mythx_err

Suggestions on what's going wrong?

This is the truffle project i am trying to run - https://github.com/shashank-srikant/mythril-line-numbers

Commands to run

npm install
./node_modules/.bin/truffle run verify StandardToken

Versions solc: Version: 0.4.24+commit.e67f0147.Linux.g++ truffle-security: 1.1.0 remix-lib: 0.4.1 mythril-classic: 0.20.0

rocky commented 5 years ago

This should be fixed when the next release 1.3.0 comes out. I think there's a way to watch releases using the "Watch" button in truffle-security.

rocky commented 5 years ago

... and release 1.3.0 is now out.