undo nonsense

yoni206 · Sep 17, 2024 · 0f5f24f · 0f5f24f
1 parent dc54029
commit 0f5f24f
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/test/regress/cli/run_regression.py b/test/regress/cli/run_regression.py
@@ -755,7 +755,6 @@ def run_regression(
     """Determines the expected output for a benchmark, runs cvc5 on it using
     all the specified `testers` and then checks whether the output corresponds
     to the expected output. Optionally uses a wrapper `wrapper`."""
-    print("panda testers:", testers)
     if not os.access(cvc5_binary, os.X_OK):
         sys.exit('"{}" does not exist or is not executable'.format(cvc5_binary))
     if not os.path.isfile(benchmark_path):