From ef05f90443401dab7a503674c0ff1ded16bdbc27 Mon Sep 17 00:00:00 2001 From: stefan-aws Date: Wed, 20 Mar 2024 14:53:26 +0000 Subject: [PATCH] typo --- tests/Tests.dfy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/Tests.dfy b/tests/Tests.dfy index a8b42e70..c681af57 100644 --- 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)