@@ -108,7 +108,7 @@ module JCAModel {
    */
   bindingset[name]
   predicate signature_names(string name) {
-    name.toUpperCase().splitAt("with".toUpperCase(), 1).matches(["RSA%", "ECDSA%", "DSA%"])
+    name.toUpperCase().splitAt("WITH", 1).matches(["RSA%", "ECDSA%", "DSA%"])
     or
     name.toUpperCase().matches(["RSASSA-PSS", "ED25519", "ED448", "EDDSA", "ML-DSA%", "HSS/LMS"])
   }
Original file line number	Diff line number	Diff line change
`@@ -108,7 +108,7 @@ module JCAModel {`
`108`	`108`	`*/`
`109`	`109`	`bindingset[name]`
`110`	`110`	`predicate signature_names(string name) {`
`111`		`- name.toUpperCase().splitAt("with".toUpperCase(), 1).matches(["RSA%", "ECDSA%", "DSA%"])`
	`111`	`+ name.toUpperCase().splitAt("WITH", 1).matches(["RSA%", "ECDSA%", "DSA%"])`
`112`	`112`	`or`
`113`	`113`	`name.toUpperCase().matches(["RSASSA-PSS", "ED25519", "ED448", "EDDSA", "ML-DSA%", "HSS/LMS"])`
`114`	`114`	`}`