Skip to content

Commit 413b249

Browse files
docs: minor readme update
1 parent c6ec444 commit 413b249

1 file changed

Lines changed: 3 additions & 3 deletions

File tree

README.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -120,9 +120,9 @@ Under Windows, you may provide any suitable id (e.g., `1000` for both)
120120
docker build --network=host --build-arg USER_ID=1000 --build-arg GROUP_ID=1000 -t mpatch-reproduction .
121121
```
122122

123-
### Verifying the correct installation
123+
## Reproducibility Demo (Verification)
124124

125-
Once the building of the Docker image has completed, you can verify its correct installation.
125+
Once the building of the Docker image has completed, you can verify its correct installation, and the possibility to run the reproduction.
126126
By default, the verification will be executed within the [evaluation-workdir](evaluation-workdir) directory.
127127

128128
#### Starting the verification
@@ -214,7 +214,7 @@ It should look similar to this:
214214
> [!NOTE]
215215
> The verification results shown are based on only a tiny portion of our dataset and are therefore not representative.
216216
217-
# Starting the reproduction
217+
## Starting the reproduction
218218

219219
Once you have verified the correct installation, you can start the reproduction similar to how you started the verification.
220220
You may also change the working directory to a custom directory as described for the verification.

0 commit comments

Comments
 (0)