Update

jump-dev · Sep 11, 2024 · 0b76621 · 0b76621
1 parent fce1e8b
commit 0b76621
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/GenX/main.jl b/GenX/main.jl
@@ -53,8 +53,10 @@ function _write_highs_model(highs)
         instances = joinpath(dirname(@__DIR__), "instances")
         filename = joinpath(instances, "tmp.mps")
         HiGHS.Highs_writeModel(highs, filename)
+        run(`gzip $filename`)
+        filename *= ".gz"
         hex = bytes2hex(open(SHA.sha256, filename))
-        mv(filename, joinpath(instances, "$hex.mps"); force = true)
+        mv(filename, joinpath(instances, "$hex.mps.gz"); force = true)
     end
     return
 end
@@ -78,6 +80,7 @@ function main(args)
         push!(cases, pajoinpath(@__DIR__, "cases", parsed_args["case"]))
     end
     for case in cases
+        @info("Running $case")
         if !isdir(case)
             error("Case directory does not exist: $case")
         elseif get(parsed_args, "run", "false") == "true"