Make reporter lookup case insensitive, registration case preserving

Previously registration was case preserving, but lookup used
lowercased reporter name, so a reporter whose name contained
upper case character could not be requested by the user.
This commit is contained in:
Martin Hořeňovský committed 2021-11-09 11:50:03 +01:00
1 parent 7800fe9708
commit 8780425385
6 files changed
+84 -4

No files matched your search

+2
View File
@@ -177,6 +177,8 @@ new design.
* Various ways of failing a benchmark are now counted and reporter properly
* The ULP matcher now handles comparing numbers with different signs properly (#2152)
* Universal ADL-found operators should no longer break decomposition (#2121)
* Reporter selection is properly case-insensitive
* Previously it forced lower cased name, which would fail for reporters with upper case characters in name
### Other changes