40080941145
82%
master: 83%

Ran 24 Oct 2026 09:12AM UTC

Jobs 1

Files 27

Run time 1min

Badge

Embed ▾

Committed 24 Oct 2026 08:50AM UTC coverage: 80.889% (-0.5%) from 81.367%

Build # 40080941145

Build Type

push

github

Committed by

renatahodovan

Commit Message

Add per-mutator statistics to grafl

The names of the queue entries tell which mutator found them, but not
how many test cases each mutator created, which is needed to compare
their yields: mutators are selected uniformly, but those that often fail
to apply are replaced by others, so they get executed less often. Now,
grafl counts per mutator the test cases that were executed, discarded
(as too large or as duplicates), added to the queue, and added to the
queue with new coverage, and periodically appends the counters to
grafl_stats.csv in the output directory of the instance. The interval is
controlled by the new GRAFL_STATS_INTERVAL environment variable.

Coverage Stats

2438 of 3014 relevant lines covered (80.89%)

0.81 hits per line

Coverage Regressions

Lines	Coverage	∆	File
172	63.48	-1.94%	grammarinator/tool/generator.py

Jobs

ID	Job ID	Ran	Files	Coverage
1	40080941145.1	24 Oct 2026 09:12AM UTC	27	80.89	GitHub Action Run

renatahodovan / grammarinator / 40080941145
82%
master: 83%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 40080941145

renatahodovan / grammarinator / 40080941145 82% master: 83%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 40080941145

renatahodovan / grammarinator / 40080941145
82%
master: 83%

README BADGES
x