From b5c6ffa792efab31a479084a9d84394c0525e052 Mon Sep 17 00:00:00 2001 From: ChaoticCross12 Date: Sat, 13 Jul 2024 00:46:26 -0500 Subject: [PATCH] very minor error message fix --- experiment/run_experiment.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/experiment/run_experiment.py b/experiment/run_experiment.py index 620d3cb97..e7fa3eaba 100644 --- a/experiment/run_experiment.py +++ b/experiment/run_experiment.py @@ -748,7 +748,7 @@ def run_experiment_main(args=None): benchmark_types = ';'.join( [f'{b}: {benchmark_utils.get_type(b)}' for b in args.benchmarks]) raise ValidationError( - 'Selected benchmarks are a mix between coverage' + 'Selected benchmarks are a mix between coverage ' 'and bug benchmarks. This is currently not supported.' f'Selected benchmarks: {benchmark_types}')