Skip to content

Commit

Permalink
run_cheribsd_tests: Run cheribsdtest-benchmark-mt-c18n if it exists
Browse files Browse the repository at this point in the history
  • Loading branch information
dpgao committed Oct 31, 2023
1 parent 52f07a4 commit a21c8ef
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions test-scripts/run_cheribsd_tests.py
Original file line number Diff line number Diff line change
@@ -147,6 +147,7 @@ def run_cheribsd_test(qemu: boot_cheribsd.QemuCheriBSDInstance, args: argparse.N
(b[0] + "".join(f), b[1]) for f in cheribsdtest_features_powerset for b in cheribsdtest_bases
]
cheribsdtest_tests.append(("cheribsdtest-mt-c18n", True))
cheribsdtest_tests.append(("cheribsdtest-benchmark-mt-c18n", True))
for test in cheribsdtest_tests:
if not run_cheribsdtest(qemu, test[0], [], test[1], args):
tests_successful = False

0 comments on commit a21c8ef

Please sign in to comment.