6046
91%

Ran 15 Aug 2026 01:07AM UTC

Jobs 1

Files 437

Run time 1min

Badge

Embed ▾

Committed 15 Aug 2026 01:00AM UTC coverage: 90.29%. Remained the same

Build # 6046

Build Type

push

github

Committed by

bobzhang

Commit Message

test(strconv): add QuickCheck property coverage

Property tests for string<->number conversion:

- parse_double bitwise-inverts Double::to_string for doubles built from
  arbitrary 64-bit patterns (subnormals, extreme exponents, infinities),
  and for uniform doubles in [0, 1]. Negative zero is exempted from the
  bitwise requirement because the ECMAScript-style to_string renders it
  as "0" on every backend.
- Full-range 64-bit and 32-bit integer round-trips through decimal
  strings, plus agreement between the integer parsers and parse_double /
  to_double on the same string (correct rounding at 19-20 digits).
- Radix round-trip in every base 2..=36 for Int64 and UInt64.
- Underscores between digits never change the parsed value.
- A stray non-numeric character (including whitespace) is always
  rejected, prepended or appended.
- Structured [-]digits[.digits][e[-]digits] strings never panic: they
  parse to a value whose own rendering reparses to the same bits, or
  fail with a range error only for genuinely huge exponents.

Integer inputs are assembled from arbitrary bytes because the built-in
Arbitrary instances are size-bounded and never reach the interesting
regions.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

Coverage Stats

15929 of 17642 relevant lines covered (90.29%)

134997.89 hits per line

Jobs

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

moonbitlang / core / 6046
91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 6046

moonbitlang / core / 6046 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 6046

moonbitlang / core / 6046
91%

README BADGES
x