starwing / piecetab
100%

DEFAULT BRANCH: master
Repo Added
Files 7
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

LAST BUILD ON BRANCH master
branch: SELECT
CHANGE BRANCH
x

coverage: 100.0%. Remained the same
39009647941

push

github

starwing 
test(pt): sweep the reserve formulas past the saturated depth

The saturated fixtures stop at levels = 3 (fanout 4 needs 4^levels pieces),
so the linear terms of the piecetab budgets (`2L + 2` for remove / append /
insert, `3L + 3` for edit / splice) were only ever measured up to L = 3.
`pt_needtree` builds a right-spine tree with O(2^levels) containers: every
node on the last-slot cursor path holds PT_FANOUT children, the other
children are minimal subtrees, so an edit at the tail still has to root-push
and chain one node per level.

`remove_deep_brute` / `edit_deep_brute` sweep L = 4 and 5 across every
cursor position and three lengths each (858 cases per test): with exactly
the formula's nodes and the page allocator dead the operation must pass, and
one node short the entry reserve must refuse with PT_ERRMEM (tree and
cursor untouched).  edit spends `L + (L + 2) = 12` of its 18 at L = 5, so
the chain term does grow with L; the shape still leaves 5 nodes spare, so
the tight end of those formulas stays with the saturated witnesses.

Sensitivity: remove at `2L + 1` / `2L + 3`, edit at `3L + 2` / `3L + 4`
all fail one of the two sides.

docs: design_stitch 3.20 records the depth witness next to the saturated
one; the reserve report gets the test rows and closes the sparse-shape item.

Gates: just pt (all), remove_deep_brute / edit_deep_brute 858 cases each,
pt-cov 96.5% branches / 100% lines, clang-format --dry-run -Werror

3899 of 4029 branches covered (96.77%)

4 of 4 new or added lines in 3 files covered. (100.0%)

3966 of 3966 relevant lines covered (100.0%)

1751050.62 hits per line

Relevant lines Covered
3966 RELEVANT LINES 3966 COVERED LINES
1751050.62 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
39009647941 master test(pt): sweep the reserve formulas past the saturated depth The saturated fixtures stop at levels = 3 (fanout 4 needs 4^levels pieces), so the linear terms of the piecetab budgets (`2L + 2` for remove / append / insert, `3L + 3` for edit / spli... push starwing github
100.0
34173269633 master style(all): align remove helper return and copy-setcc style across tree headers push starwing github
100.0
34169511782 master fix(all): use (void*)0 in default allocators for C++03 NULL is integer-typed in C++03, so using it as the right side of a comma expression in return statements cannot implicitly convert to void*. Replace those NULLs with explicit (void*)0 across ... push starwing github
100.0
33420087309 master feat(textmatch): add Lua binding and tm_copy API refactor(textmatch): per-call pattern and thin Lua State API push starwing github
100.0
33296220341 master feat(textmatch): add Lua binding and tm_copy API push starwing github
100.0
33295972460 master feat(textmatch): add Lua binding and tm_copy API push starwing github
100.0
33280121536 master fix(piecetab): reclaim live arena blocks on reset/close push starwing github
100.0
33275746444 master fix: resolve lua include paths relative to repo root in CI LUA_INC/LUAJIT_INC backticks are evaluated in the lua module directory, so they previously emitted -I../.lua/include. Since compilation now runs from the repo root, strip the leading ../ ... push starwing github
100.0
33275439647 master fix: resolve lua include paths relative to repo root in CI LUA_INC/LUAJIT_INC backticks are evaluated in the lua module directory, so they previously emitted -I../.lua/include. Since compilation now runs from the repo root, strip the leading ../ ... push starwing github
100.0
33275309211 master fix: resolve lua include paths relative to repo root in CI LUA_INC/LUAJIT_INC backticks are evaluated in the lua module directory, so they previously emitted -I../.lua/include. Since compilation now runs from the repo root, strip the leading ../ ... push starwing github
100.0
See All Builds (100)