kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-22 16:05:27 +01:00
Code Issues Releases Wiki Activity

tweak tests

Browse Source
This commit is contained in:
Marek Kaluba 2021-02-21 19:17:01 +01:00
parent 8d23fd3a73
commit 57f6de8dda
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
test/1712.07167.jl
View File

@ -70,18 +70,18 @@
@test λ == PropertyT.spectral_gap(sett) @test λ == PropertyT.spectral_gap(sett)
@test PropertyT.check_property_T(sett) == false @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) upper_bound=1.3, force_compute=true)
@info sett @info sett
λ = PropertyT.spectral_gap(sett) @time λ = PropertyT.spectral_gap(sett)
@test λ > 1.2999 @test λ > 1.2999
@test PropertyT.interpret_results(sett, λ) == true @test PropertyT.interpret_results(sett, λ) == true
# this should be very fast due to warmstarting: # this should be very fast due to warmstarting:
@test λ ≈ PropertyT.spectral_gap(sett) atol=1e-5 @time @test λ ≈ PropertyT.spectral_gap(sett) atol=1e-5
@test PropertyT.check_property_T(sett) == true @time @test PropertyT.check_property_T(sett) == true
end end
@testset "SAut(F₃)" begin @testset "SAut(F₃)" begin