mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-10-19 01:00:36 +02:00
use setup_logger
This commit is contained in:
parent
887b40b98c
commit
0b0c13e4f6
@ -147,11 +147,7 @@ function check_property_T(name::String, generating_set::Function,
|
|||||||
mkdir(name)
|
mkdir(name)
|
||||||
end
|
end
|
||||||
|
|
||||||
add_handler(logger, DefaultHandler("./$name/full.log", DefaultFormatter("{date}| {msg}")), "full_log")
|
setup_logging(name)
|
||||||
e = redirect_stderr(logger.handlers["full_log"].io)
|
|
||||||
info(logger, "Group: $name")
|
|
||||||
info(logger, "Precision: $tol")
|
|
||||||
info(logger, "Upper bound: $upper_bound")
|
|
||||||
|
|
||||||
Δ, sdp_constraints = ΔandSDPconstraints(name, generating_set, radius)
|
Δ, sdp_constraints = ΔandSDPconstraints(name, generating_set, radius)
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user