renatahodovan / grammarinator / 11550569742

84%

Build Type

push

github

Committed by web-flow

Commit Message

Ensure that alternatives and quantifiers within recurring labeled alternatives are numbered uniquely (#240)

Until now, the indices of alternatives and quantifiers were
restarted from 0 within every function of a recurring labeled
alternative (i.e., in `rule_Label_1`, `rule_Label_2`, etc.). This
made alternatives and quantifiers within recurring labeled
alternatives indistinguishable from each other when it comes to
decision models.

This commit changes this by making the indices run continuously
through functions belonging to the same label.

Run Details

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

1 existing line in 1 file now uncovered.

1961 of 2281 relevant lines covered (85.97%)

0.86 hits per line