updates docker script to accept different names (#3)

coinse / GHRB

A Repository of Real, Recent Java Bugs

13 stars 1 forks source link

Closed smkang96 closed 11 months ago

smkang96 commented 11 months ago

The run_docker_container.sh script will take in a command line argument that allows one to run it in parallel with different container names.