40113709895
82%
master: 83%

Ran 24 Oct 2026 04:56PM UTC

Jobs 1

Files 27

Run time 1min

Badge

Embed ▾

Committed 24 Oct 2026 04:47PM UTC coverage: 81.121% (+0.2%) from 80.889%

Build # 40113709895

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

2445 of 3014 relevant lines covered (81.12%)

0.81 hits per line

Coverage Regressions

Lines	Coverage	∆	File
1	83.59	-0.78%	grammarinator/tool/fbs/FBRule_generated.py

Jobs

ID	Job ID	Ran	Files	Coverage
1	40113709895.1	24 Oct 2026 04:56PM UTC	27	81.12	GitHub Action Run

renatahodovan / grammarinator / 40113709895
82%
master: 83%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 40113709895

renatahodovan / grammarinator / 40113709895 82% master: 83%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 40113709895

renatahodovan / grammarinator / 40113709895
82%
master: 83%

README BADGES
x