sigma

dafny-lang · Nov 7, 2023 · 5baa5d3 · 5baa5d3
1 parent 3563143
commit 5baa5d3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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";