1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-13 22:05:27 +01:00

log more computation specific information

This commit is contained in:
kalmar 2017-03-17 16:23:36 +01:00
parent 220d2302bd
commit 7335a94fa6

View File

@ -107,8 +107,9 @@ function check_property_T(name::String, ID, generate_B₄::Function,
end
add_handler(logger, DefaultHandler("./$name/full.log", DefaultFormatter("{date}| {msg}")), "full")
info(logger, "Group: $name")
info(logger, "Precision: $tol")
info(logger, "Group: $name")
info(logger, "Precision: $tol")
info(logger, "Upper bound: $upper_bound")
Δ, sdp_constraints = try
ΔandSDPconstraints(name)