Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Using --solc-args returns `error: argument command: invalid choice: `

See original GitHub issue

Tried all variations, but doesn’t seem to accept the solc-arg anymore

Mythril version v0.22.8
myth --solc-args "usingtellor/contracts=/tmp/node_modules/usingtellor/contracts --allow-paths /tmp/node_modules/usingtellor/contracts" analyze --solv=0.7.3 contracts/Main.sol


usage: myth [-h] [-v LOG_LEVEL] {analyze,a,disassemble,d,pro,p,list-detectors,read-storage,leveldb-search,function-to-hash,hash-to-address,version,truffle,help} ...
myth: error: argument command: invalid choice: 'usingtellor/contracts=/home/krasi/src/github.com/tellor-io/chorus/node_modules/usingtellor/contracts --allow-paths /home/krasi/src/github.com/tellor-io/chorus/node_modules/usingtellor/contracts' (choose from 'analyze', 'a', 'disassemble', 'd', 'pro', 'p', 'list-detectors', 'read-storage', 'leveldb-search', 'function-to-hash', 'hash-to-address', 'version', 'truffle', 'help')


# With docker
Mythril version v0.22.15

 docker run --rm -v $(pwd):/tmp mythril/myth --solc-args "usingtellor/contracts=/tmp/node_modules/usingtellor/contracts --allow-paths /tmp/node_modules/usingtellor/contracts" analyze --solv=0.7.3  /tmp/contracts/Main.sol
usage: myth [-h] [-v LOG_LEVEL]
            {analyze,a,disassemble,d,pro,p,list-detectors,read-storage,leveldb-search,function-to-hash,hash-to-address,version,help}
            ...
myth: error: argument command: invalid choice: 'usingtellor/contracts=/tmp/node_modules/usingtellor/contracts --allow-paths /tmp/node_modules/usingtellor/contracts' (choose from 'analyze', 'a', 'disassemble', 'd', 'pro', 'p', 'list-detectors', 'read-storage', 'leveldb-search', 'function-to-hash', 'hash-to-address', 'version', 'help')

Issue Analytics

State:
Created 3 years ago
Comments:8

Top GitHub Comments

1reaction

krasi-georgievcommented, Apr 6, 2021

Will do. In the meanwhile would it make sense to add support for solc-args in Mythril ?

0reactions

jrocco2commented, Nov 19, 2021

Ah perfect! That example works well. Thank you!

Top Results From Across the Web

aws: error: argument command: Invalid choice, valid choices are

I ran into the same issue on a Mac. Looks like after successful: pip install --user --upgrade awscli. "aws --version" was still pointing...

mythril - Bountysource

Using --solc-args returns `error: argument command: invalid choice: ` $ 0. Created 1 year ago in ConsenSys/mythril with 5 comments. Tried all variations,...

usage: west: error: argument : invalid choice: 'build' - Nordic Q&A

Hi, I'm a real novice with this but I'm having this issue and I can't see how to resolve it. Building HeartRate_sensor west...

aws ecr is invalid choice - Server Fault

According to the documentation, I need to run aws ecr get-login . This is what I get: > aws ecr get-login usage: aws...

16.4. argparse — Parser for command-line options, arguments ...

For a more gentle introduction to Python command-line parsing, have a look at the argparse ... If invalid arguments are passed in, it...