Added `Highs::closeLogFile()`, and calling this before returning from the command line executable#2558

Merged

jajhall merged 3 commits into

Oct 5, 2025

Commits on Oct 4, 2025

Added Highs::closeLogFile() and calling this before returning from the command line executable to ensure that the log file is closed
jajhall
committed
Use Highs::closeLogFile in destructor
jajhall
committed
Now using Highs::closeLogFile() in ~Highs()
jajhall
committed