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

Docker : APR mode change ! #367

Open
ShifatSahariar opened this issue Nov 2, 2023 · 0 comments
Open

Docker : APR mode change ! #367

ShifatSahariar opened this issue Nov 2, 2023 · 0 comments

Comments

@ShifatSahariar
Copy link

I have tried to change the mode from docker but i am unable ,
since default it takes jgenprog but I want to use jkali or jmutrepair.
I have tried to use the following command to change the mode but its not working in this way .
docker run -it --rm -v /tmp/results:/results tdurieux/astor -i chart-5 --scope package --parameters mode:jkali
Could you please help to figure this out ?
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ShifatSahariar