fix random seed

PRONTOLab · Sep 18, 2024 · 8fc12a5 · 8fc12a5
1 parent 5c4eae6
commit 8fc12a5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/example/fpopt-logged-driver-generator.py b/example/fpopt-logged-driver-generator.py
@@ -7,6 +7,7 @@
 num_samples_per_func = 100
 default_regex = "ex\\d+"
 
+np.random.seed(42)
 
 def parse_bound(bound):
     if "/" in bound:

diff --git a/example/fpopt-original-driver-generator.py b/example/fpopt-original-driver-generator.py
@@ -7,6 +7,7 @@
 num_samples_per_func = 100
 default_regex = "ex\\d+"
 
+np.random.seed(42)
 
 def parse_bound(bound):
     if "/" in bound: