1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-25 02:15:29 +01:00

fix: solve doesn't return warmstart

This commit is contained in:
kalmarek 2019-01-02 10:03:01 +01:00
parent e0a141dd5d
commit e56087cf73

View File

@ -198,7 +198,7 @@ function solve(solverlog::String, model::JuMP.Model, varλ::JuMP.Variable, varP,
isdir(dirname(solverlog)) || mkpath(dirname(solverlog))
status, (λ, P, ws) = open(solverlog, "a+") do logfile
status, (λ, P, warmstart) = open(solverlog, "a+") do logfile
Base.Libc.flush_cstdio()
redirect_stdout(logfile) do
PropertyT.solve(model, varλ, varP, warmstart)