run:
    mode: autoline
save:
    en: True
    pub:
        prefix: "MyProjectCleanBaseline"
        subdir: MyExperimentsClean
gpt:
    model: qwen-max
    rtlgen_model: qwen-max
autoline:
    result_path: results/myproject_clean_baseline
    cga:
        enabled: False
        max_iter: 15
        target_coverage: 100.0
    probset:
        path: data/myproject/combined_clean.jsonl
        mutant_path:
        more_info_paths: []
        only:
            - spi_controller
            - i2c_controller
    promptscript: pychecker
    timeout: 300
    save_compile: False
    debug:
        max: 3
    itermax: 10
    update_desc: False
    TBcheck:
        discrim_mode: col_70_wrong_row_25_correct