fix path to valve in random data generation script

ontodev · Nov 7, 2023 · 33ce7af · 33ce7af
1 parent c133071
commit 33ce7af
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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()