6082
91%

Ran 15 Aug 2026 07:10AM UTC

Jobs 1

Files 437

Run time 1min

Badge

Embed ▾

Committed 15 Aug 2026 07:08AM UTC coverage: 90.714% (+0.05%) from 90.669%

Build # 6082

Build Type

push

github

Committed by

bobzhang

Commit Message

test(bigint): add deep QuickCheck arithmetic properties

Add a deterministic deep property suite for BigInt covering the
large-operand paths quickcheck_test.mbt does not reach:

- multiplication straddling the Karatsuba threshold (dense 47..53-limb
  sweep), cross-checked against sub-threshold chunk reassembly and
  shift-and-add closed forms with maximal carry chains
- Knuth division with adversarial divisor top limbs (0x80000000 /
  0xffffffff patterns) and all-ones quotient digits, plus the truncated
  division law across mixed size classes for all four sign combinations
- shifts vs multiplication and floor division across limb boundaries,
  radix round-trips for every base 2..36, pow/modpow reduction,
  octet round-trips, parse-language agreement across targets

All inputs derive deterministically from literal SplitMix64 seeds, so
every target runs the identical value stream and any cross-target
divergence fails the suite. Hunting with this suite found the two
defects fixed in #4054 (issues #4050, #4052); this change is tests-only
and stacks on that fix.

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

Coverage Stats

16011 of 17650 relevant lines covered (90.71%)

153616.36 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	6082.1	15 Aug 2026 07:10AM UTC	438	90.73	GitHub Action Run

moonbitlang / core / 6082
91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 6082

moonbitlang / core / 6082 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 6082

moonbitlang / core / 6082
91%

README BADGES
x