fix http header capitalization problem

demergent-labs · Apr 11, 2024 · 8b5e6d9 · 8b5e6d9
1 parent df1cb6d
commit 8b5e6d9
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/property_tests/arbitraries/http/headers_arb.ts b/property_tests/arbitraries/http/headers_arb.ts
@@ -15,5 +15,7 @@ export function HttpHeadersArb() {
 
     const HeaderArb = fc.tuple(HeaderNameArb, HeaderValueArb);
 
-    return fc.uniqueArray(HeaderArb, { selector: ([name, _]) => name });
+    return fc.uniqueArray(HeaderArb, {
+        selector: ([name, _]) => name.toLowerCase()
+    });
 }