diff --git a/test/SOS_correctness.jl b/test/SOS_correctness.jl index e31fb77..f76f360 100644 --- a/test/SOS_correctness.jl +++ b/test/SOS_correctness.jl @@ -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) #########################################################