6062
91%

Ran 15 Aug 2026 02:12AM UTC

Jobs 1

Files 437

Run time 1min

Badge

Embed ▾

Committed 15 Aug 2026 02:10AM UTC coverage: 90.666%. Remained the same

Build # 6062

Build Type

push

github

Committed by

bobzhang

Commit Message

test(diff): address review feedback on QuickCheck suite

Address the three Copilot review comments on #4047:

- Clarify the range_text docstring: only non-empty header ranges are
  1-based; an empty range is anchored to the line before it, so its
  rendered anchor may legally be 0 (e.g. `@@ -0,0 +1 @@` for an
  insertion at the start of a file).
- Centralize the QuickCheck knobs as QC_COUNT / QC_MAX_SIZE /
  QC_LONG_MAX_SIZE constants used by every check call, so the suite's
  CI cost is tunable in one place. Values are unchanged (200 cases,
  sizes 100/200); the whole diff package tests in ~0.2-0.3s per target,
  so no coverage was reduced.
- Replace the magic-number `prev` adjacency state in script_ok/lev_ok
  with a shared PrevEdit enum (ScriptStart/DeleteRun/InsertRun/
  EqualRun/ReplaceRun) so the coalescing and Delete-before-Insert
  invariants are self-documenting.

No behavioral change to what the properties assert.

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

Coverage Stats

15998 of 17645 relevant lines covered (90.67%)

150672.28 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	6062.1	15 Aug 2026 02:12AM UTC	438	90.68	GitHub Action Run

moonbitlang / core / 6062
91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 6062

moonbitlang / core / 6062 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 6062

moonbitlang / core / 6062
91%

README BADGES
x