From 9567169bdc907382557d40744f0f4bcfa9e808e0 Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Fri, 18 Jan 2019 15:59:17 +0100
Subject: [PATCH] reorganize tests

---
 test/runtests.jl | 129 +++++++++++++++++++++++++----------------------
 1 file changed, 70 insertions(+), 59 deletions(-)

diff --git a/test/runtests.jl b/test/runtests.jl
index e44db78..7f892fd 100644
--- a/test/runtests.jl
+++ b/test/runtests.jl
@@ -16,67 +16,78 @@ end
 
 solver(iters; accel=1) = 
     SCSSolver(max_iters=iters, acceleration_lookback=accel, eps=1e-10)
-
-@testset "SL(2,Z)" begin
-    N = 2
-    G = MatrixSpace(Nemo.ZZ, N,N)
-    S = Groups.gens(G)
-
-    sett = PropertyT.Settings("SL($N,Z)", G, S, solver(20000, accel=20); upper_bound=0.1)
     
-    @test PropertyT.check_property_T(sett) == false
+@testset "1703.09680 Examples" begin
+
+    @testset "SL(2,Z)" begin
+        rm("SL(2,Z)", recursive=true, force=true)
+        N = 2
+        G = MatrixSpace(Nemo.ZZ, N,N)
+        S = Groups.gens(G)
+
+        sett = PropertyT.Settings("SL($N,Z)", G, S, solver(20000, accel=20); upper_bound=0.1)
+        
+        @test PropertyT.check_property_T(sett) == false
+    end
+
+    @testset "SL(3,Z)" begin
+        rm("SL(3,Z)", recursive=true, force=true)
+        N = 3
+        G = MatrixSpace(Nemo.ZZ, N,N)
+        S = Groups.gens(G)
+
+        sett = PropertyT.Settings("SL($N,Z)", G, S, solver(1000, accel=20); upper_bound=0.1)
+        
+        @test PropertyT.check_property_T(sett) == true
+    end
+    
+    @testset "SAut(F₂)" begin
+        rm("SAut(F2)", recursive=true, force=true)
+        N = 2
+        G = SAut(FreeGroup(N))
+        S = Groups.gens(G)
+        S = [S; inv.(S)]
+
+        sett = PropertyT.Settings("SAut(F$N)", G, S, solver(20000);
+        upper_bound=0.15, warmstart=false)
+        
+        @test PropertyT.check_property_T(sett) == false
+    end
 end
 
-@testset "SL(3,Z)" begin
-    N = 3
-    G = MatrixSpace(Nemo.ZZ, N,N)
-    S = Groups.gens(G)
+@testset "17.12.07167 Examples" begin
 
-    sett = PropertyT.Settings("SL($N,Z)", G, S, solver(1000, accel=20); upper_bound=0.1)
-    
-    @test PropertyT.check_property_T(sett) == true
-end
-
-@testset "oSL(3,Z)" begin
-    N = 3
-    G = MatrixSpace(Nemo.ZZ, N,N)
-    S = Groups.gens(G)
-    autS = WreathProduct(PermGroup(2), PermGroup(N))
-    
-    sett = PropertyT.Settings("SL($N,Z)", G, S, autS, solver(1000, accel=20);
-    upper_bound=0.27, warmstart=false)
-   
-    @test PropertyT.check_property_T(sett) == false
-    #second run just checks the solution 
-    @test PropertyT.check_property_T(sett) == false 
-
-    sett = PropertyT.Settings("SL($N,Z)", G, S, autS, solver(1000, accel=20);
-    upper_bound=0.27, warmstart=true)
-    
-    @test PropertyT.check_property_T(sett) == true
-end
-
-@testset "SAut(F₂)" begin
-    N = 2
-    G = SAut(FreeGroup(N))
-    S = Groups.gens(G)
-    S = [S; inv.(S)]
-
-    sett = PropertyT.Settings("SAut(F$N)", G, S, solver(20000, accel=20);
-    upper_bound=0.15, warmstart=false)
-    
-    @test PropertyT.check_property_T(sett) == false
-end
-
-@testset "SAut(F₂)" begin
-    N = 3
-    G = SAut(FreeGroup(N))
-    S = Groups.gens(G)
-    S = [S; inv.(S)]
-    autS = WreathProduct(PermGroup(2), PermGroup(N))
-
-    sett = PropertyT.Settings("SAut(F$N)", G, S, autS, solver(20000);
-    upper_bound=0.15, warmstart=false)
-    
-    @test PropertyT.check_property_T(sett) == false
+    @testset "oSL(3,Z)" begin
+        rm("oSL(3,Z)", recursive=true, force=true)
+        N = 3
+        G = MatrixSpace(Nemo.ZZ, N,N)
+        S = Groups.gens(G)
+        autS = WreathProduct(PermGroup(2), PermGroup(N))
+        
+        sett = PropertyT.Settings("SL($N,Z)", G, S, autS, solver(2000, accel=20);
+        upper_bound=0.27, warmstart=false)
+       
+        @test PropertyT.check_property_T(sett) == false
+        #second run just checks the solution 
+        @test PropertyT.check_property_T(sett) == false 
+
+        sett = PropertyT.Settings("SL($N,Z)", G, S, autS, solver(2000, accel=10);
+        upper_bound=0.27, warmstart=true)
+        
+        @test PropertyT.check_property_T(sett) == true
+    end
+
+    @testset "SAut(F₂)" begin
+        rm("oSAut(F3)", recursive=true, force=true)
+        N = 3
+        G = SAut(FreeGroup(N))
+        S = Groups.gens(G)
+        S = [S; inv.(S)]
+        autS = WreathProduct(PermGroup(2), PermGroup(N))
+
+        sett = PropertyT.Settings("SAut(F$N)", G, S, autS, solver(10000);
+        upper_bound=0.15, warmstart=false)
+        
+        @test PropertyT.check_property_T(sett) == false
+    end
 end