From 63bbd750fb13131a77f80acc7aeb922bb9f6ca63 Mon Sep 17 00:00:00 2001 From: "Alinson S. Xavier" Date: Thu, 17 Jul 2025 17:07:20 -0500 Subject: [PATCH] DualGMI: compression: Skip empty files --- src/Cuts/tableau/gmi_dual.jl | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/Cuts/tableau/gmi_dual.jl b/src/Cuts/tableau/gmi_dual.jl index fb82310..5091050 100644 --- a/src/Cuts/tableau/gmi_dual.jl +++ b/src/Cuts/tableau/gmi_dual.jl @@ -323,6 +323,7 @@ function _dualgmi_compress_h5(h5_filename) orig_cut_basis_sizes = h5.get_array("cuts_basis_sizes") orig_cut_rows = h5.get_array("cuts_rows") if orig_cut_basis_vars === nothing + @warn "orig_cut_basis_vars is null; skipping file" return end ncuts, _ = size(orig_cut_basis_vars) @@ -345,6 +346,11 @@ function _dualgmi_compress_h5(h5_filename) basis_vars = hcat(basis_vars...)' basis_sizes = hcat(basis_sizes...)' + _, n_vars = size(basis_vars) + if n_vars == 0 + @warn "n_vars is zero; skipping file" + return + end h5 = H5File(h5_filename, "r+") h5.put_array("gmi_basis_vars", basis_vars)