diff --git a/README.md b/README.md index 9a0c066..9e92e7a 100644 --- a/README.md +++ b/README.md @@ -107,6 +107,10 @@ patch_dataset_dir/ poc.sh optional; runs the bug trigger / PoC ``` +Public benchmark cases are available in the OS3Lab patch dataset: +https://github.com/OS3Lab/patch_dataset. Each case directory can be used as +`patch_dataset_dir` after cloning the corresponding target project repository. + If a script is absent, RetroPatch treats that validation stage as passed. 3. Copy and edit the example configuration. diff --git a/README.zh-CN.md b/README.zh-CN.md index b6d0ffb..95aa5b1 100644 --- a/README.zh-CN.md +++ b/README.zh-CN.md @@ -92,6 +92,10 @@ patch_dataset_dir/ poc.sh 可选;运行 bug 触发脚本 / PoC ``` +公开 benchmark 案例可从 OS3Lab patch dataset 获取: +https://github.com/OS3Lab/patch_dataset。克隆对应目标项目仓库后,其中每个 +case 目录都可以作为 `patch_dataset_dir` 使用。 + 如果某个脚本不存在,RetroPatch 会将对应验证阶段视为通过。 3. 复制并编辑示例配置。 diff --git a/docs/config-reference.md b/docs/config-reference.md index eb48d8f..bd8ad0b 100644 --- a/docs/config-reference.md +++ b/docs/config-reference.md @@ -64,6 +64,9 @@ If either path does not end with `/`, the loader appends `/` internally. This me Both directories must already exist. The loader exits if either is missing. +Public benchmark case directories can be cloned from +https://github.com/OS3Lab/patch_dataset and used as `patch_dataset_dir` values. + ## Commit Rules The loader verifies these values against `project_dir`: