3rd-party/catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2024-11-22 13:26:10 +01:00
Code Issues Packages Projects Releases Wiki Activity

Escape Catch2 test names in catch_discover_tests tests

Browse Source
This commit is contained in:
Martin Hořeňovský 2023-06-15 14:19:39 +02:00
parent 42ee66b5e6
commit e4b16053a6
No known key found for this signature in database
GPG Key ID: DE48307B8B0D381A
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tests/TestScripts/DiscoverTests/VerifyRegistration.py
View File

@ -90,6 +90,10 @@ def list_ctest_tests(build_path):
return test_names
def escape_catch2_test_name(name):
for char in ('\\', ',', '[', ']'):
name = name.replace(char, f"\\{char}")
return name
if __name__ == '__main__':
if len(sys.argv) != 3:
@ -101,7 +105,7 @@ if __name__ == '__main__':
build_path = build_project(sources_dir, output_base_path, catch2_path)
catch_test_names = get_test_names(build_path)
catch_test_names = [escape_catch2_test_name(name) for name in get_test_names(build_path)]
ctest_test_names = list_ctest_tests(build_path)
mismatched = 0