From f39680042d5d713cf0fe84f42f9e85294146a1d2 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Fri, 5 Jul 2019 19:22:49 +0200 Subject: [PATCH] fix: avoid random numeric fails --- test/SOS_correctness.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) #########################################################