kalmar
/
PropertyT.jl
mirror of https://github.com/kalmarek/PropertyT.jl.git
1
0
Fork 0
Code Issues Releases Wiki Activity

fix: avoid random numeric fails

This commit is contained in:
kalmarek 2019-07-05 19:22:49 +02:00
parent 5e821286e5
commit f39680042d
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/SOS_correctness.jl
View File

@ -33,7 +33,7 @@
@time sos_sqr = PropertyT.compute_SOS_square(pm, Q)
@time sos_hpc = PropertyT.compute_SOS(pm, Q)
@test norm(sos_sqr - sos_hpc, 1) < 3e-12
@test norm(sos_sqr - sos_hpc, 1) < 4e-12
@info "$NAME:\nDifference in l₁-norm between square and hpc sos decompositions:" norm(eoi-sos_sqr,1) norm(eoi-sos_hpc,1) norm(sos_sqr - sos_hpc, 1)
#########################################################