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