From 7335a94fa6cb5a34140cffbae954aba47ee2e138 Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Fri, 17 Mar 2017 16:23:36 +0100
Subject: [PATCH] log more computation specific information

---
 src/PropertyT.jl | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index 04c77b3..c28a877 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -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)