From 352c1fafe7de76cb299eb8c46ab711c6aeb6b1c5 Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Thu, 31 Oct 2019 11:18:06 +0100
Subject: [PATCH] fix tests

---
 test/1712.07167.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/1712.07167.jl b/test/1712.07167.jl
index cb41e9e..d81663d 100644
--- a/test/1712.07167.jl
+++ b/test/1712.07167.jl
@@ -66,7 +66,7 @@
         @test λ == PropertyT.spectral_gap(sett)
         @test PropertyT.check_property_T(sett) == false
 
-        sett = PropertyT.Settings("SL($N,Z)", G, S, autS, with_SCS(5000, accel=20, warm_start=true);
+        sett = PropertyT.Settings("SL($N,Z)", G, S, autS, with_SCS(15000, accel=20, warm_start=true);
         upper_bound=1.3, force_compute=true)
 
         @info sett