Skip to content

Commit

Permalink
very minor error message fix (#2001)
Browse files Browse the repository at this point in the history
Fixed a very small error in the error log for when both coverage and bug
benchmarks are used.
  • Loading branch information
ChaoticCross12 authored Jul 16, 2024
1 parent 048a72d commit 8bb3c88
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion experiment/run_experiment.py
Original file line number Diff line number Diff line change
Expand Up @@ -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}')

Expand Down

0 comments on commit 8bb3c88

Please sign in to comment.