• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

tueda / form / 28859272471
63%

Build:
DEFAULT BRANCH: master
Ran 07 Jul 2026 10:35AM UTC
Jobs 12
Files 66
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

07 Jul 2026 08:46AM UTC coverage: 63.186% (+0.04%) from 63.151%
28859272471

push

github

jodavies
refactor: reduce the size of the thread buckets at larger maxtermsize

Using "large" values of MaxTermSize (say, 5M, 10M, ...) results in
very large allocations for the thread buffers, since they historically
have been ThreadBucketCount(500)/4*MaxTermSize * 2 * workers, which
easily reaches 100GB or more.

Reduce the size of these allocations, such that with the default setup
nothing changes, and then the buffers grow as log(MaxTermSize), up to
the point where we enforce a BUCKETMINTERMS*MaxTermSize limit. Then
they grow linearly, but BUCKETMINTERMS is much smaller than the default
ThreadBucketCount.

6 of 6 new or added lines in 1 file covered. (100.0%)

1064 existing lines in 6 files now uncovered.

52341 of 82836 relevant lines covered (63.19%)

10526607.69 hits per line

Coverage Regressions

Lines Coverage ∆ File
377
2.8
-0.02% sources/checkpoint.c
323
81.8
-0.13% sources/threads.c
139
58.66
-0.04% sources/tools.c
107
57.92
-0.14% sources/minos.c
77
89.42
-0.33% sources/flintinterface.cc
41
59.45
0.05% sources/ratio.c
Jobs
ID Job ID Ran Files Coverage
1 vorm (extra) (flint - no) - 28859272471.1 07 Jul 2026 10:36AM UTC 62
38.47
GitHub Action Run
2 vorm (default) - 28859272471.2 07 Jul 2026 10:35AM UTC 65
58.46
GitHub Action Run
3 vorm (extra) - 28859272471.3 07 Jul 2026 10:36AM UTC 65
35.38
GitHub Action Run
4 tvorm (extra) - 28859272471.4 07 Jul 2026 10:37AM UTC 66
36.57
GitHub Action Run
5 tvorm (extra) (flint - no) - 28859272471.5 07 Jul 2026 10:37AM UTC 63
39.55
GitHub Action Run
6 tvorm -w2 (extra) - 28859272471.6 07 Jul 2026 10:37AM UTC 66
36.37
GitHub Action Run
7 vorm (default) (flint - no) - 28859272471.7 07 Jul 2026 10:35AM UTC 62
58.15
GitHub Action Run
8 tvorm -w2 (default) (flint - no) - 28859272471.8 07 Jul 2026 10:35AM UTC 63
58.27
GitHub Action Run
9 tvorm (default) (flint - no) - 28859272471.9 07 Jul 2026 10:36AM UTC 63
58.52
GitHub Action Run
10 tvorm -w2 (extra) (flint - no) - 28859272471.10 07 Jul 2026 10:37AM UTC 63
39.35
GitHub Action Run
11 tvorm (default) - 28859272471.11 07 Jul 2026 10:36AM UTC 66
58.81
GitHub Action Run
12 tvorm -w2 (default) - 28859272471.12 07 Jul 2026 10:35AM UTC 66
58.58
GitHub Action Run
Source Files on build 28859272471
  • Tree
  • List 66
  • Changed 15
  • Source Changed 9
  • Coverage Changed 13
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Github Actions Build #28859272471
  • b143fc2b on github
  • Prev Build on master (#28104961800)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc