In benchmarks/correctness.js line 207:
if re.search(r'(?<![\\d])351(?:\\.0)?(?![\\d])', output):
In a Python raw string, [\\d] is the character class containing a literal backslash and the letter 'd', NOT the digit shorthand \d. The intent was (?<!\d) / (?!\d) (not preceded/followed by a digit), but the double-backslash makes it check for backslash or 'd' instead.
This would cause the correctness gate to mis-evaluate test cases involving the number 351.
In
benchmarks/correctness.jsline 207:In a Python raw string,
[\\d]is the character class containing a literal backslash and the letter 'd', NOT the digit shorthand\d. The intent was(?<!\d)/(?!\d)(not preceded/followed by a digit), but the double-backslash makes it check for backslash or 'd' instead.This would cause the correctness gate to mis-evaluate test cases involving the number 351.