update benchmark scripts

dafny-lang · Jul 26, 2024 · 9042472 · 9042472
1 parent 4f0496f
commit 9042472
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/py/Benchmarks/gaussian_benchmarks.py b/docs/py/Benchmarks/gaussian_benchmarks.py
@@ -38,7 +38,7 @@
 
     for i in range(1100):
         start_time = timeit.default_timer()
-        r.DiscreteGaussianSample(sigma_num, sigma_denom)
+        r.DiscreteGaussianSample(sigma_num, sigma_denom, 7)
         elapsed = timeit.default_timer() - start_time
         vmc.append(elapsed)
 

diff --git a/docs/py/Benchmarks/gaussian_diagrams.py b/docs/py/Benchmarks/gaussian_diagrams.py
@@ -28,7 +28,7 @@
     title_ibm_dpl = 'IBM-DPL, Sigma = ' + str(sigma)
 
     for _ in range(100000):
-        vmc_data.append(r.DiscreteGaussianSample(sigma_num, sigma_denom))
+        vmc_data.append(r.DiscreteGaussianSample(sigma_num, sigma_denom, 7))
         ibm_dgdp_data.append(discretegauss.sample_dgauss(sigma_squared, rng))
         ibm_dpl_data.append(g.randomise(0))