Skip to content

Fix: guard against NULL reader when MPS file cannot be opened#96

Merged
ZedongPeng merged 1 commit into
MIT-Lu-Lab:mainfrom
LucasBoTang:fix/mps-reader-open-failure
Jul 1, 2026
Merged

Fix: guard against NULL reader when MPS file cannot be opened#96
ZedongPeng merged 1 commit into
MIT-Lu-Lab:mainfrom
LucasBoTang:fix/mps-reader-open-failure