From 3563143d93107d5ad2ead8b222041de629afdc2a Mon Sep 17 00:00:00 2001
From: stefan-aws <stefanze@amazon.com>
Date: Tue, 7 Nov 2023 17:12:44 +0000
Subject: [PATCH] sigma

---
 tests/Tests.dfy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/Tests.dfy b/tests/Tests.dfy
index 150579d6..dfca49e1 100644
--- a/tests/Tests.dfy
+++ b/tests/Tests.dfy
@@ -47,7 +47,7 @@ module Tests {
   {
     var empiricalMean := empiricalSum / n as real;
     var diff := Abs(empiricalMean - trueMean);
-    var threshold := 4.0 * 4.0 * trueVariance / n as real;
+    var threshold := 7.0 * 7.0 * trueVariance / n as real;
     if diff * diff > threshold {
       print "Test failed: ", description, "\n";
       print "Difference between empirical and true mean: ", diff, "\n";