From 247287b8928676c97d28d21802aa44ed3807ade5 Mon Sep 17 00:00:00 2001 From: kalmar Date: Sun, 28 May 2017 20:06:04 +0200 Subject: [PATCH] block loading of pm, Delta -- can't reconstruct Delta bot JLD and serializer does not allow serialising functions; moreover, serialising E for SOutF4 takes ~2GB --- src/PropertyT.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/PropertyT.jl b/src/PropertyT.jl index b595419..f4eb40d 100644 --- a/src/PropertyT.jl +++ b/src/PropertyT.jl @@ -34,7 +34,7 @@ function ΔandSDPconstraints(name::String) pm_fname, Δ_fname = pmΔfilenames(name) f₁ = isfile(pm_fname) f₂ = isfile(Δ_fname) - if f₁ && f₂ + if f₁ && f₂ && false info(logger, "Loading precomputed pm, Δ, sdp_constraints...") product_matrix = load(pm_fname, "pm") L = load(Δ_fname, "Δ")[:, 1]