Extra argument for DiscreteGaussianSample

dafny-lang · Jul 26, 2024 · d712e57 · d712e57
1 parent 96fc4df
commit d712e57
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/Tests.dfy b/tests/Tests.dfy
@@ -229,7 +229,7 @@ module Tests {
     for i := 0 to n
       invariant -2 in counts && -1 in counts && 0 in counts && 1 in counts && 2 in counts
     {
-      var u := r.DiscreteGaussianSample(7, 5);
+      var u := r.DiscreteGaussianSample(7, 5, 7);
       sum := sum + u;
       if u !in counts {
         counts := counts[ u := 1 ];