mirror of
https://github.com/catchorg/Catch2.git
synced 2025-07-04 16:45:32 +02:00

According to UTF-8 encoding rules, there are no valid one byte long codepoints which start with a bigh bit set (i.e. 0x80 or higher value). Hence such XML output needs to be escaped, same as a control character.