diff --git a/README.md b/README.md index cf08e96..cc4ac72 100644 --- a/README.md +++ b/README.md @@ -86,6 +86,8 @@ Then, if the project can be installed with just `pip install .`, ignore this ste Finally, run ``` bash ./experiment.sh +# E.g. for "rich" repository located at test/PythonRepos/rich: +bash ./experiment.sh rich test TraceAll ``` to run the analysis, or ```