From 57f6de8dda4aef29170d93afd53f737dc9620b1f Mon Sep 17 00:00:00 2001 From: Marek Kaluba Date: Sun, 21 Feb 2021 19:17:01 +0100 Subject: [PATCH] tweak tests --- test/1712.07167.jl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/test/1712.07167.jl b/test/1712.07167.jl index b1c774e..8c9dbd0 100644 --- a/test/1712.07167.jl +++ b/test/1712.07167.jl @@ -70,18 +70,18 @@ @test λ == PropertyT.spectral_gap(sett) @test PropertyT.check_property_T(sett) == false - sett = PropertyT.Settings(NAME, G, S, autS, with_SCS(5000, accel=20, warm_start=true); + sett = PropertyT.Settings(NAME, G, S, autS, with_SCS(7000, accel=20, warm_start=true); upper_bound=1.3, force_compute=true) @info sett - λ = PropertyT.spectral_gap(sett) + @time λ = PropertyT.spectral_gap(sett) @test λ > 1.2999 @test PropertyT.interpret_results(sett, λ) == true # this should be very fast due to warmstarting: - @test λ ≈ PropertyT.spectral_gap(sett) atol=1e-5 - @test PropertyT.check_property_T(sett) == true + @time @test λ ≈ PropertyT.spectral_gap(sett) atol=1e-5 + @time @test PropertyT.check_property_T(sett) == true end @testset "SAut(F₃)" begin