-
- --coverage_filename_origin |
- str |
- <项目根>/logs_testcase/annotated/ |
- 原始覆盖率文件目录(annotated 输出)。 |
+
+ --coverage_filename_origin |
+ str |
+ <项目根>/logs_testcase/annotated/ |
+ 原始覆盖率文件目录(annotated 输出)。 |
-
- --coverage_filename_later |
- str |
- <项目根>/logs2/annotated/ |
- 后续覆盖率文件目录(用于对比)。 |
+
+ --coverage_filename_later |
+ str |
+ <项目根>/logs2/annotated/ |
+ 后续覆盖率文件目录(用于对比)。 |
-
- --global_annotated_dir |
- str |
- <项目根>/logs_global/annotated |
- 全局覆盖率统计使用的 annotated 目录。 |
+
+ --global_annotated_dir |
+ str |
+ <项目根>/logs_global/annotated |
+ 全局覆盖率统计使用的 annotated 目录。 |
-
- --module |
- str |
- CSR |
- 指定单模块名称(与自动多模块二选一)。 |
+
+ --module |
+ str |
+ CSR |
+ 指定单模块名称(与自动多模块二选一)。 |
-
- --model |
- str |
- KJY |
- 模型/配置标识(如 KJY)。 |
+
+ --model |
+ str |
+ KJY |
+ 模型/配置标识(如 KJY)。 |
-
- --num |
- int |
- 100 |
- 模块索引或自动模式下的模块数量。 |
+
+ --num |
+ int |
+ 100 |
+ 模块索引或自动模式下的模块数量。 |
-
- --dat |
- str |
- — |
- 任务专属的 .dat 文件路径(可选)。 |
+
+ --dat |
+ str |
+ — |
+ 任务专属的 .dat 文件路径(可选)。 |
-
- --mode |
- continue / fresh |
- continue |
- continue=继续使用现有覆盖率;fresh=新建覆盖率文件。 |
+
+ --mode |
+ continue / fresh |
+ continue |
+ continue=继续使用现有覆盖率;fresh=新建覆盖率文件。 |
-
- --max_iterations |
- int |
- 13 |
- 每个模块最大尝试次数,达到后自动切换下一模块。 |
+
+ --max_iterations |
+ int |
+ 13 |
+ 每个模块最大尝试次数,达到后自动切换下一模块。 |
-
- --auto_switch |
- flag |
- 默认开启 |
- 启用自动切换模块:当前模块完成或达最大次数后切到下一模块。 |
+
+ --auto_switch |
+ flag |
+ 默认开启 |
+ 启用自动切换模块:当前模块完成或达最大次数后切到下一模块。 |
-
- --no-auto-switch |
- flag |
- — |
- 禁用自动切换模块。 |
+
+ --no-auto-switch |
+ flag |
+ — |
+ 禁用自动切换模块。 |
-
- --use_spec |
- flag |
- False |
- 启用 SPEC 文件分析,用 spec 中的模块接口信息指导测试生成。 |
+
+ --use_spec |
+ flag |
+ False |
+ 启用 SPEC 文件分析,用 spec 中的模块接口信息指导测试生成。 |
-
- --run_existing_seeds |
- flag |
- False |
- 在开始 LLM 生成前,先运行 successed/<module>/ 下已有成功用例。 |
+
+ --run_existing_seeds |
+ flag |
+ False |
+ 在开始 LLM 生成前,先运行 successed/<module>/ 下已有成功用例。 |