diff --git a/src/PropertyT.jl b/src/PropertyT.jl index 2a6811c..febe73e 100644 --- a/src/PropertyT.jl +++ b/src/PropertyT.jl @@ -6,6 +6,7 @@ import SCS.SCSSolver using Memento const logger = basic_config("info") +const solver_logger = basic_config("info") include("sdps.jl") include("checksolution.jl") @@ -82,6 +83,9 @@ function κandA(name::String, sdp_constraints, Δ::GroupAlgebraElement, solver:: if isfile("$name/solver.log") rm("$name/solver.log") end + + add_handler(solver_logger, DefaultHandler("./$name/solver.log"), "solver") + t = @timed SDP_problem = create_SDP_problem(sdp_constraints, Δ; upper_bound=upper_bound) info(logger, timed_msg(t)) diff --git a/src/sdps.jl b/src/sdps.jl index 8396483..f45a4a6 100644 --- a/src/sdps.jl +++ b/src/sdps.jl @@ -74,8 +74,6 @@ function solve_SDP(SDP_problem, solver) JuMP.setsolver(SDP_problem, solver); # @time MathProgBase.writeproblem(SDP_problem, "/tmp/SDP_problem") - solver_logger = basic_config("info") - add_handler(solver_logger, DefaultHandler("./$name/solver.log"), "solver") TT = STDOUT redirect_stdout(solver_logger.handlers["solver"].io)