From d7b0dd763beec399585f029b9da30ce285f0ac4c Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Wed, 15 Mar 2017 20:16:19 +0100
Subject: [PATCH] overwrite solver log instead of appending

---
 src/PropertyT.jl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index 113a67b..5eed4fd 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -80,6 +80,9 @@ end
 
 function κandA(name::String, sdp_constraints, Δ::GroupAlgebraElement, solver::AbstractMathProgSolver; upper_bound=Inf)
     info(logger, "Creating SDP problem...")
+    if isfile("$name/solver.log")
+        rm("$name/solver.log")
+    end
     t = @timed SDP_problem = create_SDP_problem(sdp_constraints, Δ; upper_bound=upper_bound)
     info(logger, timed_msg(t))