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

fix tests

Browse Source
This commit is contained in:
kalmarek 2019-10-31 11:18:06 +01:00
parent 080aef1eaf
commit 352c1fafe7
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/1712.07167.jl
View File

@ -66,7 +66,7 @@
@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("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) upper_bound=1.3, force_compute=true)
@info sett @info sett