5854
91%

Ran 11 Aug 2026 06:23AM UTC

Jobs 1

Files 454

Run time 1min

Badge

Embed ▾

Committed 11 Aug 2026 06:21AM UTC coverage: 90.322% (+0.03%) from 90.294%

Build # 5854

Build Type

push

github

Committed by

bobzhang

Commit Message

test(base64): add QuickCheck round-trip properties

Five properties anchored on the encoder's output, all driven by
arbitrary `Bytes`:

- `decode(encode(b)) == b`, padded and unpadded
- padded and unpadded encodings decode to the same bytes
- arbitrary ASCII whitespace spliced at arbitrary positions (including
  between the two `=`) still decodes with `ignore_whitespace=true`
- arbitrary non-alphabet characters spliced in are skipped by
  `decode_lossy`

The perturbing splices are driven by a generated `Array[(Int, Int)]` of
(position, char-choice) pairs, so placement and count shrink along with
the input. Indices are wrapped into range rather than filtered, so no
case is discarded.

Coverage Stats

15959 of 17669 relevant lines covered (90.32%)

129457.45 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	5854.1	11 Aug 2026 06:23AM UTC	455	90.34	GitHub Action Run

moonbitlang / core / 5854
91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5854

moonbitlang / core / 5854 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5854

moonbitlang / core / 5854
91%

README BADGES
x