40134515033
82%
master: 83%

Ran 24 Oct 2026 09:31PM UTC

Jobs 1

Files 27

Run time 1min

Badge

Embed ▾

Committed 24 Oct 2026 06:12PM UTC coverage: 81.507% (+0.4%) from 81.121%

Build # 40134515033

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

2455 of 3012 relevant lines covered (81.51%)

0.82 hits per line

Coverage Regressions

Lines	Coverage	∆	File
41	66.56	1.81%	grammarinator/tool/generator.py

Jobs

ID	Job ID	Ran	Files	Coverage
1	40134515033.1	24 Oct 2026 09:31PM UTC	27	81.51	GitHub Action Run

renatahodovan / grammarinator / 40134515033
82%
master: 83%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 40134515033

renatahodovan / grammarinator / 40134515033 82% master: 83%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 40134515033

renatahodovan / grammarinator / 40134515033
82%
master: 83%

README BADGES
x