6035
91%

Ran 15 Aug 2026 01:00AM UTC

Jobs 1

Files 437

Run time 1min

Badge

Embed ▾

Committed 15 Aug 2026 12:57AM UTC coverage: 90.29%. Remained the same

Build # 6035

Build Type

push

github

Committed by

web-flow

Commit Message

test(string): add QuickCheck property coverage (#4034)

Pin the recent string fast paths (SIMD to_lower search, UInt16
comparison specialization, ASCII checks kept as UInt16) against naive
reference implementations that deliberately avoid those paths:

- to_lower/to_upper vs a char-by-char ASCII-only reference, including a
  boundary-code-point generator ('@'/'A'..'Z'/'[', backtick/'a'..'z'/'{',
  0x7F/0x80, 0xFF/0x100, BMP extremes, surrogate-pair chars) and padded
  inputs sliding the first uppercase char through SIMD block boundaries
- case-conversion laws: idempotence, length preservation, composition
  collapse, and String vs StringView implementation agreement
- compare vs a shortlex code-unit reference and lexical_compare vs a
  lexicographic reference, routed through Int so the specialized UInt16
  operators stay out of the oracle; antisymmetry, Eq consistency, and
  shared-prefix invariance
- find/contains vs a naive code-unit scan with a guaranteed occurrence

Verified on wasm-gc, wasm, native, and js so the SIMD, scalar, and JS
fallback implementations are all covered.

Co-authored-by: Claude Fable 5 <noreply@anthropic.com>

Coverage Stats

15929 of 17642 relevant lines covered (90.29%)

133670.64 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	6035.1	15 Aug 2026 01:00AM UTC	438	90.31	GitHub Action Run

moonbitlang / core / 6035
91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 6035

moonbitlang / core / 6035 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 6035

moonbitlang / core / 6035
91%

README BADGES
x