Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

nargo prove fails due to command arg conflict #2299

Closed
alexvitkov opened this issue Aug 14, 2023 · 2 comments
Closed

nargo prove fails due to command arg conflict #2299

alexvitkov opened this issue Aug 14, 2023 · 2 comments
Labels
bug Something isn't working

Comments

@alexvitkov
Copy link
Contributor

Aim

The recently added --program-name conflicts with the --prover-name argument of nargo prove, and nargo prove panics with the following error:

Message: Command prove: Short option names must be unique for each argument, but '-p' is in use by both 'prover_name' and 'program_dir'

Expected Behavior

nargo prove doesn't panic

Bug

it panics

To Reproduce

  1. nargo prove
  2. panic

Installation Method

Compiled from source

Nargo Version

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

Yes

Support Needs

No response
@alexvitkov alexvitkov added the bug Something isn't working label Aug 14, 2023
@alexvitkov alexvitkov mentioned this issue Aug 14, 2023
Merged
5 tasks
@alexvitkov
Copy link
Contributor Author

Fix: #2300

@phated
Copy link
Contributor

phated commented Aug 14, 2023

Solved by #2300 - thanks @alexvitkov!

@phated phated closed this as completed Aug 14, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working
Projects
Noir
Archived in project
Milestone
No milestone
Development

No branches or pull requests
2 participants
@phated @alexvitkov