From 33ce7af45b3b6041083676c187aea98887fce0c1 Mon Sep 17 00:00:00 2001 From: Michael Cuffaro Date: Tue, 7 Nov 2023 14:15:12 -0500 Subject: [PATCH] fix path to valve in random data generation script --- test/generate_random_test_data.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/generate_random_test_data.py b/test/generate_random_test_data.py index e851727d..63e3f32e 100755 --- a/test/generate_random_test_data.py +++ b/test/generate_random_test_data.py @@ -162,7 +162,7 @@ def main(): random.seed(seed) # Get the VALVE configuration: - result = subprocess.run(["valve", "--dump_config", input_table], capture_output=True) + result = subprocess.run(["./valve", "--dump_config", input_table], capture_output=True) if result.returncode != 0: error = result.stderr.decode() output = result.stdout.decode()