sigma

dafny-lang · Nov 7, 2023 · 3563143 · 3563143
1 parent 652c9af
commit 3563143
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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";