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

Fix possible FP in catch_discover_tests tests

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

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

@ -104,14 +104,16 @@ if __name__ == '__main__':
catch_test_names = get_test_names(build_path)
ctest_test_names = list_ctest_tests(build_path)
if len(catch_test_names) != len(ctest_test_names):
print("Mismatch between catch test names and ctest test names!")
mismatched = 0
for catch_test in catch_test_names:
if catch_test not in ctest_test_names:
print(f"Catch2 test '{catch_test}' not found in CTest")
mismatched += 1
for ctest_test in ctest_test_names:
if ctest_test not in catch_test_names:
print(f"CTest test '{ctest_test}' not found in Catch2")
mismatched += 1
if mismatched:
print(f"Found {mismatched} mismatched tests catch test names and ctest test commands!")
exit(1)