Skip to content
Back to pull request #3027

[hermes] Add test for multi-byte UTF-8 characters #9669

Sign in to view logs

[hermes] Add test for multi-byte UTF-8 characters

[hermes] Add test for multi-byte UTF-8 characters #9669

Run tests under Kani

Run tests under Kani
succeeded Feb 10, 2026 in 2m 35s