typo

dafny-lang · Mar 20, 2024 · ef05f90 · ef05f90
1 parent 4bb490d
commit ef05f90
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/Tests.dfy b/tests/Tests.dfy
@@ -40,7 +40,7 @@ module Tests {
       print "squared difference: ", diff * diff, "\n";
       print "sigma squared:      ", trueVariance / n as real, "\n";
     }
-    expect diff * diff <= threshold, "Empirical mean should be within 3 sigma of true mean. This individual test may fail with probability of about 6.3e-5.";
+    expect diff * diff < threshold, "Empirical mean should be within 3 sigma of true mean. This individual test may fail with probability of about 6.3e-5.";
   }
 
   method TestUniformPowerOfTwo(n: nat, u: nat, r: DafnyVMC.Random)