Explain how to make changes to code

README.md

@@ -88,6 +88,8 @@ which will be mapped to the results folder in the docker container, and will, th
 docker run -v /absolute/path/to/local/result/folder:/tool-cav/evaluation_results -it docker-tool-cav bash
 ```
 
+In case one would like to modify the code before executing, we suggest to use a similar mapping using `-v` but for the folder `tool-cav`.
+
 Then, we first change directory to the tool.
 
 ```