1
84%
master: 84%

Ran 28 Nov 2023 08:25AM UTC

Files 23

Run time 0s

Badge

Embed ▾

Committed 28 Nov 2023 08:22AM UTC coverage: 88.259% (+0.03%) from 88.228%

Job # 7016014044.1

Build Type

push

github

Committed by

web-flow

Commit Message

DefaultPopulation-related improvements (#188)

- No need to exit in grammarinator-generate if population directory
  does not exists yet, since DefaultPopulation creates it if
  needed.
- Make better use of the internal data structure nodes_by_name.

Run Details

1511 of 1712 relevant lines covered (88.26%)

0.88 hits per line

renatahodovan / grammarinator / 7016014044 / 1
84%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 7016014044.1

renatahodovan / grammarinator / 7016014044 / 1 84% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 7016014044.1

renatahodovan / grammarinator / 7016014044 / 1
84%
master: 84%

README BADGES
x