From 5baa5d324854af8b0f760d5ea21fce7586c0cc8e Mon Sep 17 00:00:00 2001
From: stefan-aws <stefanze@amazon.com>
Date: Tue, 7 Nov 2023 17:19:33 +0000
Subject: [PATCH] sigma

---
 tests/Tests.dfy | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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