Skip to content

Commit 8bb3c88

Browse files
very minor error message fix (#2001)
Fixed a very small error in the error log for when both coverage and bug benchmarks are used.
1 parent 048a72d commit 8bb3c88

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

experiment/run_experiment.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -748,7 +748,7 @@ def run_experiment_main(args=None):
748748
benchmark_types = ';'.join(
749749
[f'{b}: {benchmark_utils.get_type(b)}' for b in args.benchmarks])
750750
raise ValidationError(
751-
'Selected benchmarks are a mix between coverage'
751+
'Selected benchmarks are a mix between coverage '
752752
'and bug benchmarks. This is currently not supported.'
753753
f'Selected benchmarks: {benchmark_types}')
754754

0 commit comments

Comments
 (0)