kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-25 18:25:30 +01:00
Code Issues Releases Wiki Activity

overwrite solver log instead of appending

Browse Source
This commit is contained in:
kalmar 2017-03-15 20:34:35 +01:00
parent 59cea54757
commit 07d227eb8a
2 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/PropertyT.jl
View File

@ -6,7 +6,6 @@ import SCS.SCSSolver
using Memento using Memento
const logger = basic_config("info") const logger = basic_config("info")
const solver_logger = basic_config("info")
include("sdps.jl") include("sdps.jl")
include("checksolution.jl") include("checksolution.jl")
@ -80,6 +79,9 @@ end
function κandA(name::String, sdp_constraints, Δ::GroupAlgebraElement, solver::AbstractMathProgSolver; upper_bound=Inf) function κandA(name::String, sdp_constraints, Δ::GroupAlgebraElement, solver::AbstractMathProgSolver; upper_bound=Inf)
info(logger, "Creating SDP problem...") 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) t = @timed SDP_problem = create_SDP_problem(sdp_constraints, Δ; upper_bound=upper_bound)
info(logger, timed_msg(t)) info(logger, timed_msg(t))
@ -103,7 +105,6 @@ function check_property_T(name::String, ID, generate_B₄::Function;
end end
add_handler(logger, DefaultHandler("./$name/full.log", DefaultFormatter("{date}|{msg}")), "full") add_handler(logger, DefaultHandler("./$name/full.log", DefaultFormatter("{date}|{msg}")), "full")
add_handler(solver_logger, DefaultHandler("./$name/solver.log"), "solver")
info(logger, "Group: $name") info(logger, "Group: $name")
info(logger, "Precision: $tol") info(logger, "Precision: $tol")

3
src/sdps.jl
View File

@ -74,6 +74,9 @@ function solve_SDP(SDP_problem, solver)
JuMP.setsolver(SDP_problem, solver); JuMP.setsolver(SDP_problem, solver);
# @time MathProgBase.writeproblem(SDP_problem, "/tmp/SDP_problem") # @time MathProgBase.writeproblem(SDP_problem, "/tmp/SDP_problem")
solver_logger = basic_config("info")
add_handler(solver_logger, DefaultHandler("./$name/solver.log"), "solver")
TT = STDOUT TT = STDOUT
redirect_stdout(solver_logger.handlers["solver"].io) redirect_stdout(solver_logger.handlers["solver"].io)
solution_status = JuMP.solve(SDP_problem); solution_status = JuMP.solve(SDP_problem);