DEBUG. Increased build warning level to \W4. Added some missing linefeeds to...
DEBUG. Increased build warning level to \W4. Added some missing linefeeds to new DEB_out streaming. Raised level of TRACE_GUROBI_INPUT deb out to 7 and decerased default DEB_out level to 5 so as to redisable this output by default. No behaviour changes anticipated other than changed DEB_out content. [git-p4: depot-paths = "//ReForm/ReForm/main/Base/": change = 10448]
Showing with 31 additions and 20 deletions