From 8fc12a523a84a566ea8435425d55d4c645a892a2 Mon Sep 17 00:00:00 2001 From: Brant-Skywalker Date: Tue, 17 Sep 2024 23:31:33 -0500 Subject: [PATCH] fix random seed --- example/fpopt-logged-driver-generator.py | 1 + example/fpopt-original-driver-generator.py | 1 + 2 files changed, 2 insertions(+) diff --git a/example/fpopt-logged-driver-generator.py b/example/fpopt-logged-driver-generator.py index fa282b6..5afb880 100644 --- 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 index 96ee6d5..7569b81 100644 --- 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: