6178
91%

Ran 19 Aug 2026 08:04AM UTC

Jobs 1

Files 444

Run time 2min

Badge

Embed ▾

Committed 19 Aug 2026 08:00AM UTC coverage: 90.706% (+0.02%) from 90.682%

Build # 6178

Build Type

push

github

Committed by

bobzhang

Commit Message

test(sorted_set): property-test the split-based set operations

Add blackbox QuickCheck properties for difference, intersection and
symmetric_difference: equivalence with an array filter model (content,
order and size), algebra laws relating the operations, self/empty
identities, and independence of results from later input mutation.

Add whitebox invariant tests (mirroring sorted_map/invariant_wbtest.mbt)
that recursively verify BST order, AVL balance, cached heights and the
size field of every operation result, that the inputs are left intact,
and that results stay valid under further mutation. Balance violations
are invisible to blackbox tests, so these run on randomized scenarios
with heavy, sparse and asymmetric overlap.

Mutation-verified: dropping a found_count increment fails 9 tests,
replacing concat's join with an unbalancing node constructor fails the
3 whitebox scenario tests (and only those), and skipping one copy_tree
fails 6 tests including the dedicated no-sharing property.

Reviewed as part of the Codex CLI rounds on this branch.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Signed-off-by: Codex CLI <codex@openai.com>

Coverage Stats

16280 of 17948 relevant lines covered (90.71%)

331071.39 hits per line

Coverage Regressions

Lines	Coverage	∆	File
1	99.63	0.08%	sorted_set/set.mbt

Jobs

ID	Job ID	Ran	Files	Coverage
1	6178.1	19 Aug 2026 08:04AM UTC	445	90.72	GitHub Action Run

moonbitlang / core / 6178
91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 6178

moonbitlang / core / 6178 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 6178

moonbitlang / core / 6178
91%

README BADGES
x