32 lines
672 B
YAML
32 lines
672 B
YAML
run:
|
|
mode: autoline
|
|
save:
|
|
en: True
|
|
pub:
|
|
prefix: "SimpleSPI"
|
|
subdir: MyExperimentsSimple
|
|
gpt:
|
|
model: qwen-max
|
|
rtlgen_model: qwen-max
|
|
autoline:
|
|
result_path: results/myproject_simple_spi
|
|
cga:
|
|
enabled: True
|
|
max_iter: 15
|
|
target_coverage: 85.0
|
|
probset:
|
|
path: data/myproject/spi_controller_simple.jsonl
|
|
mutant_path:
|
|
more_info_paths: []
|
|
only:
|
|
- spi_controller_simple
|
|
promptscript: pychecker
|
|
timeout: 300
|
|
save_compile: False
|
|
debug:
|
|
max: 3
|
|
itermax: 10
|
|
update_desc: False
|
|
TBcheck:
|
|
discrim_mode: col_70_wrong_row_25_correct
|