1
84%
master: 84%

Ran 05 Nov 2023 08:08AM UTC

Files 22

Run time 0s

Badge

Embed ▾

Committed 05 Nov 2023 08:04AM UTC coverage: 88.246%. Remained the same

Job # 6760077023.1

Build Type

push

github

Committed by

web-flow

Commit Message

Don't shadow builtin min and max in quantifier-related code (#163)

Both the tools (the processor, the codegen template) and the
runtime (the models) contain code that deals with quantifiers.
Quantification has lower and upper bounds, which are traditionally
named min and max. However, having min and max as function
arguments (like in models) shadows the Python builtins. To avoid
this and make the builtins available, min is renamed to start while
max is renamed to stop all around the code base (terminology
borrowed from the range Python builtin).

Run Details

1404 of 1591 relevant lines covered (88.25%)

0.88 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 6760077023.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 6760077023.1

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

README BADGES
x