moonbitlang / core / 6440
89%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 453
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 90.912%. Remained the same
6440

push

github

web-flow 
Handle minimum signed values in QuickCheck shrinking (#4151)

* Handle minimum signed values in QuickCheck shrinking

* Assert complete minimum-value shrink sequences

* docs(builtin): expand documentation for integer min/max/clamp

`Int64::min`, `Int64::max`, `Int64::clamp`, `UInt::min`, `UInt::max` and
`UInt::clamp` carried one-line comments while their documented siblings
follow the full structure. Bring all six to the same level: semantics,
parameters, return behavior (including the abort when `min > max` in
`clamp`) and executable examples.

Continues #623

* chore: remove deprecated APIs

* perf(bytes): skip redundant initialization in concatenation (#4142)

* perf(bytes): skip redundant initialization in concatenation

* Limit Bytes benchmark setup to benchmark runs

* refactor(bigint): read each from_octets limb with a u32be pattern (#4099)

* refactor(bigint): read each limb with a u32be pattern in from_octets

The inner loop was a 4-iteration big-endian shift-accumulate, which is
exactly one u32be read (RADIX_BIT_LEN = 32).

Measured: native -34% at n=1024 / -24% at n=64, wasm-gc -46% / -42%.
js is unaffected (bigint_js.mbt has its own from_octets).

* bench(bigint): add from_octets benchmarks

Covers the limb-fill path at n=64 and n=1024 so the u32be conversion in
the previous commit is reproducible.

Signed-off-by: Codex CLI <codex@openai.com>
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

* test(bigint): pin RADIX_BIT_LEN so the u32be limb read can't drift

Addresses the review note that `from_octets`'s tail now hard-codes a
32-bit read while `byte_per_limb` is still derived from `RADIX_BIT_LEN`.

Rather than branch on the constant at runtime, the assumption is pinned
by a whitebox test and named in the comment above the loop: narrowing
`RADIX_BIT_LEN` now fails a test instead of silently mis-decoding.

The pin uses `@test.assert_eq`, not `inspect`. A snapshot would be
rewritten by `moon test --update`, which would re... (continued)

16865 of 18551 relevant lines covered (90.91%)

283217.87 hits per line

Jobs
ID Job ID Ran Files Coverage
1 6440.1 454
90.93
 GitHub Action Run
Source Files on build 6440