fix: treat empty-string solver_options_file as unset#714

Merged

DLWoodruff merged 1 commit into

DLWoodruff:fix-empty-solver-options-file

May 20, 2026

Commits on May 19, 2026

fix(cfg_vanilla): treat empty-string solver_options_file as unset
DLWoodruff
committed