From 887b40b98c7227362627df8be899a81c6d87b973 Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Mon, 5 Jun 2017 10:27:07 +0200
Subject: [PATCH] setup_logging

---
 src/PropertyT.jl | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index 5c841fb..eb3221f 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -130,6 +130,16 @@ end
 
 Kazhdan_from_sgap(λ,N) = sqrt(2*λ/N)
 
+function setup_logging(name::String)
+
+   Memento.add_handler(logger, Memento.DefaultHandler(joinpath(name,"full.log"), Memento.DefaultFormatter("{date}| {msg}")), "full_log")
+
+   e = redirect_stderr(logger.handlers["full_log"].io)
+
+   return logger
+end
+
+
 function check_property_T(name::String, generating_set::Function,
     solver, upper_bound, tol, radius)