renatahodovan / grammarinator / 17363477175

84%

Build Type

push

github

Committed by web-flow

Commit Message

Add typing info to Grammarinator and enable mypy checks in test system (#304)

This patch extends Grammarinator with type annotations and integrates
static typing checks (mypy) into the test workflow. Some code has been
adjusted to fix typing-related issues and missing runtime checks
revealed by stricter type validation.

Co-authored by: Renáta Hodován <reni@inf.u-szeged.hu>

Co-authored-by: Akos Kiss <akiss@inf.u-szeged.hu>

Run Details

407 of 425 new or added lines in 16 files covered. (95.76%)

48 existing lines in 7 files now uncovered.

2143 of 2565 relevant lines covered (83.55%)

0.84 hits per line